default search action
12th PLOS@SOSP 2023: Koblenz, Germany
- Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023. ACM 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. 1-9 - Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer:
Synthesizing Device Drivers with Ghost Writer. 10-17 - Amélie Gonzalez, Djob Mvondo, Yérom-David Bromberg:
Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux Kernel. 18-25 - Charly Castes, Adrien Ghosn:
Dynamic Linkers Are the Narrow Waist of Operating Systems. 26-33 - Michael Sippel, Horst Schirmeier:
Process Composition with Typed Unix Pipes. 34-40 - Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat:
Towards Just-In-Time Compiling of Operating Systems. 41-48 - John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier:
Software Compartmentalization Trade-Offs with Hardware Capabilities. 49-57 - Shaurya Patel, Sidharth Agrawal, Alexandra Fedorova, Margo I. Seltzer:
CHERI-picking: Leveraging capability hardware for prefetching. 58-65 - Zhiyao Ma, Guojun Chen, Lin Zhong:
Panic Recovery in Rust-based Embedded Systems. 66-73 - Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev:
Extending Rust with Support for Zero Copy Communication. 74-82 - Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti:
On the Challenge of Sound Code for Operating Systems. 83-90
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.