SOSP 2024 event banner

2024年11月4日 – 2024年11月6日

Microsoft at SOSP 2024

Central Standard Time (UTC -6)

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

2024年11月5日 | Amber Tingle, Chris Hawblitzel, Jay Lorch

SOSP 2024 on a blue and green gradient background

Microsoft at SOSP 2024: Innovations in systems research

2024年11月4日

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

Abstracts: November 4, 2024

2024年11月4日 | 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