Organizing Committee:
Eric Eide,
Gilles Muller,
Olaf Spinczyk
Program Chair:
Wolfgang Schröder-Preikschat
08:30-10:00
Welcome and Keynote
The Role of Language Technology in Trustworthy Operating Systems
Gernot Heiser (University of New South Wales)
10:30-12:00
Static Analyses
Finding Resource-Release Omission Faults in Linux
Suman Saha (LIP6-Regal),
Julia Lawall (DIKU, University of Copenhagen),
Gilles Muller (Inria/LIP6-Regal)
Configuration Coverage in the Analysis of Large-Scale System Software
Reinhard Tartler,
Daniel Lohmann,
Christian Dietrich,
Christoph Egger,
Julio Sincero (Friedrich-Alexander University)
Rounding Pointers — Type Safe Capabilities with C++ Meta Programming
Alexander Warg,
Adam Lackorzynski (Technische Universität Dresden)
Preliminary Design of the SAFE Platform
Andre DeHon,
Ben Karel (University of Pennsylvania),
Thomas F. Knight, Jr. (BAE Systems),
Gregory Malecha (Harvard University),
Benoit Montagu (University of Pennsylvania),
Robin Morisset (ENS Paris),
Greg Morrisett (Harvard University),
Benjamin C. Pierce (University of Pennsylvania),
Randy Pollack (Harvard University),
Sumit Ray (BAE Systems),
Olin Shivers (Northeastern University),
Jonathan M. Smith (University of Pennsylvania),
Gregory Sullivan (BAE Systems)
13:30-15:00
Dynamic Safety and Performance
Dynamic Deadlock Avoidance in Systems Code Using Statically Inferred Effects
Prodromos Gerakios,
Nikolaos Papaspyrou (National Technical University of Athens),
Konstantinos Sagonas (National Technical University of Athens and Uppsala University),
Panagiotis Vekris (National Technical University of Athens)
Using Declarative Invariants for Protecting File-System Integrity
Jack Sun,
Daniel Fryer,
Ashvin Goel,
Angela Demke Brown (University of Toronto)
Assessing the Scalability of Garbage Collectors on Many Cores
Lokesh Gidra,
Gaël Thomas,
Julien Sopena,
Marc Shapiro (Regal-LIP6/INRIA)
URDB: A Universal Reversible Debugger Based on Decomposing Debugging Histories
Ana-Maria Visan,
Kapil Arya,
Gene Cooperman,
Tyler Denniston (Northeastern University)
15:30-17:00
Demonstrations and Working Groups
17:00-18:30
Working Groups and Wrap-up
