PLOS@SOSP

Publications

2023

Michael Sippel, Horst Schirmeier
Process Composition with Typed Unix Pipes. PLOS@SOSP (2023)
Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti
On the Challenge of Sound Code for Operating Systems. PLOS@SOSP (2023)
Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev
Extending Rust with Support for Zero Copy Communication. PLOS@SOSP (2023)
John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier
Software Compartmentalization Trade-Offs with Hardware Capabilities. PLOS@SOSP (2023)
Amélie Gonzalez, Djob Mvondo, Yérom-David Bromberg
Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux Kernel. PLOS@SOSP (2023)
Shaurya Patel, Sidharth Agrawal, Alexandra Fedorova, Margo I. Seltzer
CHERI-picking: Leveraging capability hardware for prefetching. PLOS@SOSP (2023)
Zhiyao Ma, Guojun Chen, Lin Zhong
Panic Recovery in Rust-based Embedded Systems. PLOS@SOSP (2023)
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023 PLOS@SOSP (2023)
Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer
Synthesizing Device Drivers with Ghost Writer. PLOS@SOSP (2023)
Charly Castes, Adrien Ghosn
Dynamic Linkers Are the Narrow Waist of Operating Systems. PLOS@SOSP (2023)
Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat
Towards Just-In-Time Compiling of Operating Systems. PLOS@SOSP (2023)

2021

2019

2017

2015