SOSP 2024 event banner

November 4, 2024 – November 6, 2024

Microsoft at SOSP 2024

Central Standard Time (UTC -6)

Location: Austin, Texas

All times are in CDT (UTC -5)

08:00 – 12:00 Tutorial 616B

Verus Tutorial
08:00 – 12:00 Workshop Salon K

Hot Topics in System Infrastructure (HotInfra)
08:00 – 12:00 Workshop 615A

Practical Adoption Challenges of ML for Systems (PACMI)

08:30 – 10:30 Paper session

Session 1: Distributed Systems
Related Publications
- Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection
  
  Jia Pan, Haoze Wu , Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang
- If At First You Don’t Succeed, Try, Try, Again…? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
  
  Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
14:00 – 16:00 Paper session

Session 3: Deep Learning and Training
Related Publications
- Uncover Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
  
  Ying Cao, Fan Yang, Mao Yang

16:00 – 18:00 Paper session

Session 7: Verification and Compilers
Related Publications
- Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10
  
  Yiqi Liu, Yuqi Xue, Yu Cheng, Lingxiao Ma, Ziming Miao, Jilong Xue, Jian Huang
- SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
  
  Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula
- Verus: A Practical Foundation for Systems Verification
  
  Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, Bryan Parno

09:00 – 10:30 Paper session

Session 8: Data Center, Cloud, and Virtualization
Related Publications
- Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
  
  Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen