Organizers:
Chris Hawblitzel
(Microsoft Research),
Gilles Muller
(INRIA),
Olaf Spinczyk
(Technische Universität Dortmund)
Program Chair:
Shan Lu
(University of Chicago)
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
