> PLOS 2009 > Program  

Workshop Program

A summary of the workshop was published in Operating Systems Review, 43(4):31–34, December 2009.
You can  download a copy from the ACM Digital Library, or you can  download a copy from this Web site.

Time Topic Presentation
7:00–8:30 Breakfast  
8:30–10:00 Session 1: Welcome and Keynote  
  Welcome and Introductions
The PLOS 2009 Organizing Committee
[PDF] [PPT]
  Keynote Address: “Ivy: Modernizing C”
David Gay, Intel Research Berkeley

C remains a very widely used systems programming language, with many advantages: widely known, supported by many tools, good access to low-level hardware, etc. But C also makes it unnecessarily hard to produce safe and reliable programs, a particularly significant problem for systems and multi-threaded code. Modern languages address many of these issues, but porting existing code to a new language is often impractical for large systems. Static analyses of existing C code can find some problems, but guaranteeing safety is hampered by extensive use of unsafe features.

In the Ivy project, we have designed small extensions to C that address the classic problems of type and memory safety (Deputy and HeapSafe), and the increasingly important problem of data-sharing in threaded programs (SharC). All of these extensions require small, tractable changes to existing code, and have been validated on substantial code bases—a bootable Linux kernel for Deputy and HeapSafe, and several Linux-based threaded applications for SharC.

In this talk, I will concentrate on our application of Deputy (type safety) and HeapSafe (deallocation safety) to a Linux kernel, and on our more recent work on SharC (short for “Sharing Checker”) that allows a user to write lightweight annotations to declare how they believe objects are being shared between threads in their program.

David Gay obtained his PhD, on region-based memory management, from UC Berkeley in 2001. David was one of the designers and principal implementer of the nesC language, the C dialect used to implement the popular TinyOS sensor network operating system and its applications. More recently, David has been working on designing and implementing languages that make it easier to write correct sequential and parallel programs.

[PDF] [PPT]
10:00–10:30 Break  
10:30–12:00 Session 2: Kernels… Presentation
[PDF] Checking Process-Oriented Operating System Behaviour using CSP and Refinement
Frederick R. M. Barnes and Carl G. Ritson (University of Kent)
[PDF]
[PDF] A Microkernel API for Fine-Grained Decomposition
Sebastian Reichelt, Jan Stoess, and Frank Bellosa (University of Karlsruhe)
[PDF] [PPTX]
  …and Distributed Systems  
[PDF] Code-Partitioning Gossip
Lonnie Princehouse and Ken Birman (Cornell University)
[PDF]
[PDF] CatchAndRetry: Extending Exceptions to Handle Distributed System Failures and Recovery
Emre Kiciman, Benjamin Livshits, and Madanlal Musuvathi (Microsoft Research)
[PDF] [PPTX]
12:00–1:30 Lunch
1:30–3:00 Session 3: Domain-Specific Languages Presentation
[PDF] Filet-o-Fish: Practical and Dependable Domain-Specific Languages for OS Development
Voted Best Paper of PLOS 2009 by workshop attendees!
Pierre-Evariste Dagand (ENS Cachan-Bretagne), Andrew Baumann, and Timothy Roscoe (ETH Zurich)
[PDF]
[PDF] KStruct: Preserving Consistency Through C Annotations
Alexander Schmidt, Martin von Löwis, and Andreas Polze (Hasso Plattner Institute at University of Potsdam)
[PDF]
[PDF] Distributed Data Flow Language for Multi-Party Protocols
Krzysztof Ostrowski, Ken Birman (Cornell University), and Danny Dolev (Hebrew University)
[PDF] [PPTX]
3:00–3:30 Break  
3:30–5:00 Session 4a: Demonstrations and Working Groups  
  Demonstrations
Workshop attendees participate in demonstrations of the languages and systems presented in earlier sessions. (Approximately 45 minutes.)
 
  Working Groups
Workshop attendees participate in semi-structured discussion groups on PLOS topics, according to their interests. The workshop organizers will use the accepted papers and input from participants to compile a list of topics for working groups.
 
5:00–6:30 Session 4b: Working Groups and Wrap Up  
  Each working group concludes by preparing and presenting an “outbrief” that summarizes its discussion: achievements, positions, opinions, common themes, open issues, closed issues, solved problems, challenge problems, ideas for future activities and collaborations, …  
6:30–9:30 SOSP 2009 Reception and Dinner Buffet  
  Last modified: 2010-04-02   OS