Preliminary Workshop Program

Location: All of the workshop's sessions will take place in the room Virgo.

The complete workshop proceedings will soon be available in the ACM Digital Library for download.

The schedule of all SOSP worksops is published at the SOSP website.

8:30 AM — Welcome, Best Paper Award
Carsten Weinhold (Barkhausen Institute), Program Chair

8:35 AM — Keynote
Session Chair: Carsten Weinhold (Barkhausen Institute)

• Title t.b.a.
  Timothy Roscoe (ETH Zurich)
  

9:20 AM — Session 1: Know your Hardware

• Towards Tractable Hardware Model Validation Against Real Hardware
  Rishika Varma Kalidindi (University of Texas at Austin); Reto Achermann (Technical University of Munich)


• Making Weird Machines Untypeable: A Type-and-Effect View of Microarchitectural Attacks
  Anitha Gollamudi (University of Massachusetts Lowell)

10:00 AM — Coffee break

10:30 AM — Session 2: Measurements and Optimizations

• Topology-aware TLB Shootdown Protocols: It's more complicated than you think.
  Ning Ding, Margo Seltzer (University of British Columbia); Reto Achermann (Technical University of Munich)


• Dissecting the Performance Impact of System Calls
  Martin Kröning, Vincent Feinendegen, Stefan Lankes, Sarah Simon, Jonathan Klimt, Antonello Monti (RWTH Aachen University)


• Lost Bytes At The Crossroads Between User- And Kernel-Level Memory Allocation
  Pasha Fistanto, Sören Tempel, Christian Dietrich (Technische Universität Braunschweig)


• Blink and you miss it - VMM-OS Co-Design for Millisecond Boot of Isolated Serverless Applications
  Jonathan Klimt, Sarah Simon, Martin Kröning, Ellen Emilia Anna Zscheile, Panagiotis Vasilopoulos, Stefan Lankes, Antonello Monti (RWTH Aachen University)

12:00 AM — Lunch

1:30 PM — Session 3: Security and Safety

• We Need to Talk About the Actual Guarantees of Rust-based Systems
  Corinn Tiffany, Artem Agvanian, Ziyun Song, Isabella Szabo (Brown University); Kinan Dak Albab (Boston University); Will Crichton (Brown University); Philip Levis (Stanford University and Google); Akshay Narayan, Deepti Raghavan, Malte Schwarzkopf (Brown University)


• Beyond Zero-Cost: Understanding Rust Safety Overheads in Systems Code
  Soham Bagchi, Manvik Nanda, Anton Burtsev (University of Utah)


• zBulk: Towards Automatic Compartmentalization in Rust with Zero Manual Retrofitting
  Maxim Ritter von Onciul, Phillip Raffeck, Peter Wägemann, Rüdiger Kapitza (Friedrich-Alexander-Universität Erlangen-Nürnberg)


• Exploring the Design Space of Isolation Mechanisms
  Sidhartha Agrawal, Shaurya Patel (University of British Columbia); Linh Pham (Hammerspace); Arya Stevinson (Oracle); Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta (University of British Columbia); Reto Achermann (Technical University of Munich); Margo Seltzer (University of British Columbia)

3:00 PM — Coffee break

3:30 PM — Session 4: Code Generation and Debugging

• Code Generation from Regression Trees for Microsecond-Scale Decisions in Operating Systems
  Birte Friesel, Marcel Lütke Dreimann, Olaf Spinczyk (Universität Osnabrück)


• ACF: Infrastructure for Debugging Long-Running Systems with Tracing and Unit Test Execution
  Roman Vašut, Pavel Parízek (Charles University)

4:10 PM — Session 5: Built for Verification

• SMT-based Deductive Verification of Device Drivers using the Pancake-to-Viper Transpiler
  Samuel Tyler (UNSW Sydney); Alessandro Legnani (ETH Zurich); Junming Zhao, Zhewen Shen, Rihui Wu, Miki Tanaka, Gernot Heiser (UNSW Sydney)


• All Your Assembly Belongs to Rust
  Charly Castes, Gurvan Debaussart, Thomas Bourgeat (EPFL)


• DeterV: Verifying Deterministic Parallel Execution
  Zhengqing Liu, Marios Kogias (Imperial College London)

5:10 PM — Closing remarks