PLOS '15- Proceedings of the 8th Workshop on Programming Languages and Operating Systems

Full Citation in the ACM Digital Library

Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis

• Christoph Borchert
• Olaf Spinczyk

Lightweight capability domains: towards decomposing the Linux kernel

• Charles Jacobsen
• Muktesh Khole
• Sarah Spall
• Scotty Bauer
• Anton Burtsev

Running application specific kernel code by a just-in-time compiler

• Ake Koomsin
• Yasushi Shinjo

Ownership is theft: experiences building an embedded OS in rust

• Amit Levy
• Michael P. Andersen
• Bradford Campbell
• David Culler
• Prabal Dutta
• Branden Ghena
• Philip Levis
• Pat Pannuto

Speculative region-based memory management for big data systems

• Khanh Nguyen
• Lu Fang
• Guoqing Xu
• Brian Demsky

Tapir: a language for verified OS kernel probes

• Ilya Yanok
• Nathaniel Nystrom

Making lock-free data structures verifiable with artificial transactions

• Xinhao Yuan
• David Williams-King
• Junfeng Yang
• Simha Sethumadhavan