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