Abstract is missing.
- Pancake: Verified Systems Programming Made SweeterJohannes Å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. 1-9 [doi]
- Synthesizing Device Drivers with Ghost WriterBingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer. 10-17 [doi]
- Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux KernelAmélie Gonzalez, Djob Mvondo, Yérom-David Bromberg. 18-25 [doi]
- Dynamic Linkers Are the Narrow Waist of Operating SystemsCharly Castes, Adrien Ghosn. 26-33 [doi]
- Process Composition with Typed Unix PipesMichael Sippel, Horst Schirmeier. 34-40 [doi]
- Towards Just-In-Time Compiling of Operating SystemsMaximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schröder-Preikschat. 41-48 [doi]
- Software Compartmentalization Trade-Offs with Hardware CapabilitiesJohn Alistair Kressel, Hugo Lefeuvre, Pierre Olivier. 49-57 [doi]
- CHERI-picking: Leveraging capability hardware for prefetchingShaurya Patel, Sidharth Agrawal, Alexandra Fedorova, Margo I. Seltzer. 58-65 [doi]
- Panic Recovery in Rust-based Embedded SystemsZhiyao Ma, Guojun Chen, Lin Zhong 0001. 66-73 [doi]
- Extending Rust with Support for Zero Copy CommunicationArthur Lafrance, David Detweiler, Zhaofeng Li 0004, Xiangdong Chen, Vikram Narayanan, Anton Burtsev. 74-82 [doi]
- On the Challenge of Sound Code for Operating SystemsJonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti. 83-90 [doi]