Abstract is missing.
- Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysisChristoph Borchert, Olaf Spinczyk. 1-7 [doi]
- Lightweight capability domains: towards decomposing the Linux kernelCharles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev. 8-14 [doi]
- Running application specific kernel code by a just-in-time compilerAke Koomsin, Yasushi Shinjo. 15-20 [doi]
- Ownership is theft: experiences building an embedded OS in rustAmit A. Levy, Michael P. Andersen, Bradford Campbell, David E. Culler, Prabal Dutta, Branden Ghena, Philip Levis, Pat Pannuto. 21-26 [doi]
- Speculative region-based memory management for big data systemsKhanh Nguyen, Lu Fang, Guoqing (Harry) Xu, Brian Demsky. 27-32 [doi]
- Tapir: a language for verified OS kernel probesIlya Yanok, Nathaniel Nystrom. 33-38 [doi]
- Making lock-free data structures verifiable with artificial transactionsXinHao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan. 39-45 [doi]