SOSP 2024 event banner
2024年11月4日 2024年11月6日

Microsoft at SOSP 2024

Central Standard Time (UTC -6)

地点: 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:

Distinguished Artifact Award at SOSP 2024: Verus: A Practical Foundation for Systems Verification
Microsoft Research Forum - abstract with shapes

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.