default search action
10th PLOS@SOSP 2019: Huntsville, ON, Canada
- Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019. ACM 2019, ISBN 978-1-4503-7017-2
Custom Kernels
- Bernhard Heinloth, Marco Ammon, Dustin T. Nguyen, Timo Hönig, Volkmar Sieh, Wolfgang Schröder-Preikschat:
Cocoon: Custom-Fitted Kernel Compiled on Demand. 1-7 - Stefan Lankes, Jens Breitbart, Simon Pickartz:
Exploring Rust for Unikernel Development. 8-15
Programming and Patching
- Keunhong Lee, Jeehoon Kang, Wonsup Yoon, Joongi Kim, Sue B. Moon:
Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System. 16-22 - Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel Lohmann:
Wait-Free Code Patching of Multi-Threaded Processes. 23-29
Handling Hardware I
- Daniel Bittman, Peter Alvaro, Ethan L. Miller:
A Persistent Problem: Managing Pointers in NVM. 30-37 - Marcel Köppen, Jana Traue, Christoph Borchert, Jörg Nolte, Olaf Spinczyk:
Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++. 38-44
Handling Hardware II
- Antonio Barbalace, Pierre Olivier, Binoy Ravindran:
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects. 45-52 - Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller:
Fork/Wait and Multicore Frequency Scaling: a Generational Clash. 53-59
Lessons Learned
- Hisham Muhammad, Lucas Correia Villa Real, Michael Homer:
Taxonomy of Package Management in Programming Languages and Operating Systems. 60-66 - Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer:
Trials and Tribulations in Synthesizing Operating Systems. 67-73
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.