Abstract is missing.
- URDB: a universal reversible debugger based on decomposing debugging historiesAna Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston. [doi]
- Assessing the scalability of garbage collectors on many coresLokesh Gidra, Gaël Thomas 0001, Julien Sopena, Marc Shapiro 0001. [doi]
- Finding resource-release omission faults in LinuxSuman Saha, Julia Lawall, Gilles Muller. [doi]
- Using declarative invariants for protecting file-system integrityJack Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown. [doi]
- Rounding pointers: type safe capabilities with C++ meta programmingAlexander Warg, Adam Lackorzynski. [doi]
- Configuration coverage in the analysis of large-scale system softwareReinhard Tartler, Daniel Lohmann, Christian Dietrich 0001, Christoph Egger 0001, Julio Sincero. [doi]
- Dynamic deadlock avoidance in systems code using statically inferred effectsProdromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris. [doi]
- Preliminary design of the SAFE platformAndré DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan. [doi]