| 2006 | A: an assertion language for distributed systems. Andrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen |
| 2006 | Atomicity and visibility in tiny embedded systems. John Regehr, Nathan Cooprider, David Gay |
| 2006 | Efficient type and memory safety for tiny embedded systems. John Regehr, Nathan Cooprider, Will Archer, Eric Eide |
| 2006 | Issues in holistic system design. Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz |
| 2006 | Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk |
| 2006 | OSEK/VDX API for Java. Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz |
| 2006 | Portability events: a programming model for scalable system infrastructures. Chris Matthews, Yvonne Coady, Jonathan Appavoo |
| 2006 | Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006 Christian W. Probst |
| 2006 | Programming language challenges in systems codes: why systems programmers still use C, and what to do about it. Jonathan Shapiro |
| 2006 | Semantic patches for documenting and automating collateral evolutions in Linux device drivers. Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2006 | SysObjC: C extension for development of object-oriented operating systems. Ádám Balogh, Zoltán Csörnyei |
| 2006 | Type inference for unboxed types and first class mutability. Swaroop Sridhar, Jonathan S. Shapiro |
| 2006 | Writing Solaris device drivers in Java. Hiroshi Yamauchi, Mario Wolczko |