> PLOS 2006 > Program  

Workshop Program

08:50 - 09:00 Welcome
09:00 - 10:00 Session 1: Systems & Java OS

Atomicity and Visibility in Tiny Embedded Systems
John Regehr, Nathan Cooprider (University of Utah, USA), David Gay (Intel Research Berkeley, USA)

Writing Solaris Device Drivers in Java
Hiroshi Yamauchi (Purdue University, USA), Mario Wolczko (Sun Microsystems Laboratories Menlo Park, USA)

Michael Stilkerich, Christian Wawersich, Wolfgang Schroder-Preikschat (University of Erlangen-Nuremberg, Germany), Andreas Gal, Michael Franz (University of California, Irvine, USA)
10:00 - 10:30 break
10:30 - 11:50 Session 2: Languages & Language Extensions

SysObjC: C Extension for Development of Object-Oriented Operating Systems
Adam Balogh, Zoltan Csornyei (Eotvos Lorand University, Hungary)

Efficient Type and Memory Safety for Tiny Embedded Systems
John Regehr, Nathan Cooprider, Will Archer, Eric Eide (University of Utah, USA)

Type Inference for Unboxed Types and First Class Mutability
Swaroop Sridhar, Jonathan Shapiro (Johns Hopkins University, USA)

A : An Assertion Language for Distributed Systems
Andrew Tjang, Fabio Oliveira, Richard. P. Martin, Thu D. Nguyen (Rutgers University, USA)
11:50 - 01:20 Lunch Break
01:20 - 02:20 Keynote
Jonathan Shapiro (Johns Hopkins University, USA)
02:20 - 03:20 Session 3: Design & Evolution

Issues in Holistic System Design
Julia L. Lawall (University of Copenhagen, Denmark), Christian W. Probst (Technical University of Denmark, Denmark), Ulrik Pagh Schultz (University of Southern Denmark, Denmark)

Portability Events: A Programming Model for Scalable System Infrastructures
Chris Matthews, Yvonne Coady, Jonathan Appavoo

Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers
Rene Rydhof Hansen, Julia L. Lawall (University of Copenhagen, Denmark), Yoann Padioleau, Gilles Muller (Ecole des Mine de Nantes, INRIA, France)
03:20 - 03:50 break
03:40 - 05:00 discussion

In order to leave sufficient time for discussion, the authors are expected to prepare a presentation that is not longer than 15 minutes.
  Last modified: 2021-05-20   OS