Microsoft at SOSP 2024
Central Standard Time (UTC -6)
Lieu: Austin, Texas
Microsoft is proud to be a sponsor of Symposium on Operating Systems Principles (SOSP) (opens in new tab), the world’s premier forum for researchers, developers, programmers, and teachers of computer systems technology. Academic and industrial participants present research and experience papers that cover the full range of theory and practice of computer systems.
Congratulations to the authors of «Verus: A Practical Foundation for Systems Verification» on winning the Distinguished Artifact Award.
Program Committee:
- Daniel Berger
- Jay Lorch
- Jonathan Mace
- Siddhartha Sen
- Tim Harris
Microsoft Research Forum
Join us for a continuous exchange of ideas about science and technology research in the era of general AI. This series explores recent research advances, bold new ideas, and important discussions with the global research community. Register to attend upcoming episodes and watch previous episodes available on demand.