


default search action
8th PLOS@SOSP 2015: Monterey, California, USA
- Shan Lu:
Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015. ACM 2015, ISBN 978-1-4503-3942-1 - Christoph Borchert, Olaf Spinczyk:
Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. 1-7 - Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev:
Lightweight capability domains: towards decomposing the Linux kernel. 8-14 - Ake Koomsin, Yasushi Shinjo:
Running application specific kernel code by a just-in-time compiler. 15-20 - Amit A. Levy
, Michael P. Andersen, Bradford Campbell, David E. Culler, Prabal Dutta, Branden Ghena, Philip Alexander Levis, Pat Pannuto
:
Ownership is theft: experiences building an embedded OS in rust. 21-26 - Khanh Nguyen
, Lu Fang, Guoqing Xu, Brian Demsky:
Speculative region-based memory management for big data systems. 27-32 - Ilya Yanok, Nathaniel Nystrom:
Tapir: a language for verified OS kernel probes. 33-38 - Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan:
Making lock-free data structures verifiable with artificial transactions. 39-45

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.