![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.