Abstract is missing.
- 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. 1 [doi]
- Atomicity and visibility in tiny embedded systemsJohn Regehr, Nathan Cooprider, David Gay. 2 [doi]
- Writing Solaris device drivers in JavaHiroshi Yamauchi, Mario Wolczko. 3 [doi]
- OSEK/VDX API for JavaMichael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz. 4 [doi]
- SysObjC: C extension for development of object-oriented operating systemsÁdám Balogh, Zoltán Csörnyei. 5 [doi]
- Efficient type and memory safety for tiny embedded systemsJohn Regehr, Nathan Cooprider, Will Archer, Eric Eide. 6 [doi]
- Type inference for unboxed types and first class mutabilitySwaroop Sridhar, Jonathan S. Shapiro. 7 [doi]
- A: an assertion language for distributed systemsAndrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen. 8 [doi]
- Programming language challenges in systems codes: why systems programmers still use C, and what to do about itJonathan Shapiro. 9 [doi]
- Semantic patches for documenting and automating collateral evolutions in Linux device driversYoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller. 10 [doi]
- Portability events: a programming model for scalable system infrastructuresChris Matthews, Yvonne Coady, Jonathan Appavoo. 11 [doi]
- Issues in holistic system designJulia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz. 12 [doi]