PLOS

Keyphrases

Publications

2006

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