PLOS 2006: San Jose, CA, USA

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