Abstract is missing.
- The Cogent Case for Property-Based TestingZilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser. 1-7 [doi]
- Towards Correct-by-Construction Interrupt Routing on Real HardwareLukas Humbel, Reto Achermann, David Cock, Timothy Roscoe. 8-14 [doi]
- Programmable Elasticity for Actor-based Cloud ApplicationsBo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani, Patrick Eugster. 15-21 [doi]
- Adaptable Actors: Just What The World NeedsPaul Harvey, Joseph S. Sventek. 22-28 [doi]
- Theseus: a State Spill-free Operating SystemKevin Boos, Lin Zhong. 29-35 [doi]
- Annotations in Operating Systems with Custom AspectC++ AttributesDaniel Friesel, Markus Buschhoff, Olaf Spinczyk. 36-42 [doi]
- Towards Fine-grained, Automated Application CompartmentalizationNikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, André DeHon, Jonathan M. Smith. 43-50 [doi]
- Sandcrust: Automatic Sandboxing of Unsafe Components in RustBenjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig. 51-57 [doi]