Workshop Program

The following papers will be presented at PLOS 2023. We will replace this list by the complete program as soon as possible.

Accepted Papers

• Pancake: Verified Systems Programming Made Sweeter
  J. Pohjola, H. Syeda, M. Tanaka, K. Winter, T. Sau, B. Nott, T. Ung, C. McLaughlin, R. Seassau, M. Myreen, M. Norrish, and G. Heiser
• Synthesizing Device Drivers with Ghost Writer
  B. Wang, S. Noorafshan, R. Achermann, and M. Seltzer
• Process Composition with Typed Unix Pipes
  M. Sippel and H. Schirmeier
• Takeaways of implementing a Native Rust UDP Tunneling Network Driver in the Linux kernel
  A. Gonzalez, D. Mvondo, and Y. Bromberg
• Dynamic Linkers Are the Narrow Waist of Operating Systems
  C. Castes and A. Ghosn
• Panic Recovery in Rust-based Embedded Systems
  Z. Ma, G. Chen, and L. Zhong
• Software Compartmentalization Trade-Offs with Hardware Capabilities
  J. Kressel, H. Lefeuvre, and P. Olivier
• Towards Just-In-Time Compiling of Operating Systems
  M. Ott, P. Raffeck, V. Sieh, and W. Schröder-Preikschat
• Extending Rust with Support for Zero Copy Communication
  A. Lafrance, D. Detweiler, Z. Li, X. Chen, V. Narayanan, and A. Burtsev
• CHERI-picking: Leveraging capability hardware for prefetching
  S. Patel, S. Agrawal, A. Fedorova, and M. Seltzer
• On the Challenge of Sound Code for Operating Systems
  J. Klimt, M. Kröning, S. Lankes, and A. Monti