Workshop Program

Location: All of the workshop's sessions will take place in Room 3.

The complete workshop proceedings are available in the ACM DL for download.

1:30 PM — Welcome
Pierre Olivier (The University of Manchester), Antonio Barbalace (The University of Edinburgh), Program Chairs
[slides]

1:40 PM — Keynote

• PLOS Must Save the World
  Margo Seltzer (University of British Columbia)
  [slides]

  Abstract: In an era when all the world is enamored with machine learning, transformers, and ChatGPT, how do we (i.e., programming languages and OS researchers) stay relevant? We save the world! Whether it's ChatGPT, self-driving cars, or our power grid, software runs the world. But, what do we know about every program? It has bugs. Many bugs. We are one tiny typo away from disaster every day. Let me convince you that we shall save the world (although we might need some assistance from the formal methods folks too). We have the expertise to develop the techniques, tools, and systems that can transform the computational infrastructure from sitting atop quicksand to sitting atop terra firma. Let's do it!

  About the speaker: MARGO I. SELTZER is Canada 150 Research Chair in Computer Systems and the Cheriton Family chair in Computer Science at the University of British Columbia. Her research interests are in systems, construed quite broadly: systems for capturing and accessing data provenance, file systems, databases, transaction processing systems, storage and analysis of graph-structured data, and systems for constructing optimal and interpretable machine learning models. Dr. Seltzer was a co-founder and CTO of Sleepycat Software, the makers of Berkeley DB, the recipient of the 2021 ACM Software Sytems award and the 2020 ACM SIGMOD Systems Award. She is a member of the National Academy of Engineering and the American Academy of Arts and Sciences, a Sloan Foundation Fellow in Computer Science, an ACM Fellow, and the 2023 ACM Athena Lecturer. When not conducting research, she is playing fetch with her kitten, Temaki.

2:30 PM — Session 1: OS Code Synthesis
Session Chair: Antonio Barbalace (The University of Edinburgh)

• Pancake: Verified Systems Programming Made Sweeter
  Johannes Åman Pohjola (UNSW Sydney), Hira Taqdees Syeda (Chalmers University of Technology), Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau (UNSW Sydney), Magnus Myreen (Chalmers University of Technology), Michael Norrish (Australian National University), and Gernot Heiser (UNSW Sydney)
  [slides]


• Synthesizing Device Drivers with Ghost Writer
  Bingyao Wang, Sepehr Noorafshan, Reto Achermann, and Margo Seltzer (University of British Columbia)

3:00 PM — Coffee break

3:30 PM — Session 2: Programming Languages for OS extensions
Session Chair: Olaf Spinczyk (Universität Osnabrück)

• Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux Kernel
  Amélie Gonzalez, Djob Mvondo, and Yérom-David Bromberg (Univ Rennes, CNRS, INRIA, IRISA)
  [slides]


• Dynamic Linkers Are the Narrow Waist of Operating Systems
  Charly Castes (EPFL), Adrien Ghosn (Azure Research, Microsoft)
  [slides (pdf), slides (pptx)]


• Process Composition with Typed Unix Pipes 
  Michael Sippel and Horst Schirmeier (TU Dresden)
  [slides]


• Towards Just-In-Time Compiling of Operating Systems
  Maximilian Ott, Phillip Raffeck, Volkmar Sieh, and Wolfgang Schröder-Preikschat (Friedrich-Alexander-Universität Erlangen-Nürnberg)

4:30 PM — Session 3: Hardware Capabilities
Session Chair: Nathan Dautenhahn (Rice University)

• Software Compartmentalization Trade-Offs with Hardware Capabilities
  John Alistair Kressel, Hugo Lefeuvre, and Pierre Olivier (The University of Manchester)
  [slides]


• CHERI-picking: Leveraging capability hardware for prefetching
  Shaurya Patel, Sidhartha Agrawal, Alexandra (Sasha) Fedorova, and Margo Seltzer (University of British Columbia)
  [slides]

5:00 PM — Short break

5:10 PM — Session 4: Rust Extensions
Session Chair: Chris Hawblitzel (Microsoft Research)

• Panic Recovery in Rust-based Embedded Systems
  Zhiyao Ma, Guojun Chen, and Lin Zhong (Yale University)
  [slides (pdf), slides (pptx)]


• Extending Rust with Support for Zero Copy Communication
  Arthur Lafrance, David Detweiler (University of California, Irvine), Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, and Anton Burtsev (University of Utah)
  [slides]


• On the Challenge of Sound Code for Operating Systems
  Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti (RWTH Aachen University)

5:55 PM — Closing remarks