The following papers have been accepted for presentation at PLOS 2017. We will replace this list by the complete program as soon as possible.
Theseus: a State Spill-free Operating System,
Kevin Boos and Lin Zhong.
The Cogent Case for Property-Based Testing,
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein and Gernot Heiser.
Annotations in Operating Systems with Custom AspectC++ Attributes,
Daniel Friesel, Markus Buschhoff and Olaf Spinczyk.
Adaptable Actors: Just What The World Needs,
Paul Harvey and Joseph Sventek.
Towards Correct-by-Construction Interrupt Routing on Real Hardware,
Lukas Humbel, Reto Achemann, David Cock and Timothy Roscoe.
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust,
Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski and Hermann Härtig.
Programmable Elasticity for Actor-based Cloud Applications,
Bo Sang, Srivatsan Ravi, Gustavo Petri, Mahsa Najafzadeh, Masoud Saeida Ardekani and Patrick Eugster.
Towards Automated Module-level Application Compartmentalization,
Nikos Vasilakis, Ben Karel, Andre Dehon and Jonathan Smith.