SOSP 2024 event banner
November 4, 2024 – November 6, 2024

Microsoft at SOSP 2024

Central Standard Time (UTC -6)

Location: Austin, Texas

Highlights from Microsoft at SOSP 2024

Outlined illustrations of Chris Hawblitzel and Jay Lorch for the Microsoft Research Podcast, Abstracts series.

Abstracts: November 5, 2024 

November 5, 2024 | Amber Tingle, Chris Hawblitzel, Jay Lorch

SOSP 2024 on a blue and green gradient background

Microsoft at SOSP 2024: Innovations in systems research 

November 4, 2024

Outlined illustrations of Shan Lu and Bogdan Stoica for the Microsoft Research Podcast.

Abstracts: November 4, 2024 

November 4, 2024 | Gretchen Huizinga, Shan Lu, Bogdan Stoica

Distinguished Artifact Award at SOSP 2024: Verus: A Practical Foundation for Systems Verification

Verus: A Practical Foundation for Systems Verification