SOSP PLOS 2009
Call for Papers Workshop Website Important Dates- Paper submission deadline:
June 24, 2009 - Notification of acceptance:
August 3, 2009 - Final papers due:
September 4, 2009 - Workshop:
October 11, 2009
Historically, operating system development and programming language development went hand-in-hand. Cross-fertilization was the norm. Challenges in one area were often approached using ideas or techniques developed in the other, and advances in one enabled new capabilities in both. Today, although the systems community at large retains an iron grip on C, modern programming language ideas continue to spark innovations in OS design and construction. Conversely, the systems field continues to provide a wealth of challenging problems and practical results that should lead to advances in programming languages, software designs, and idioms.
This workshop will bring together researchers and developers from the programming language and operating system domains to discuss recent work at the intersection of these fields. It will be a platform for discussing new visions, challenges, experiences, problems, and solutions arising from the application of advanced programming and software engineering concepts to operating systems construction, and vice versa.
Suggested paper topics include, but are not restricted to:
- critical evaluations of new programming language ideas in support of OS construction
- domain-specific languages for operating systems
- type-safe languages for operating systems
- object-oriented and component-based operating systems
- language-based approaches to crosscutting system concerns, such as security and run-time performance
- language support for system verification
- language support for OS testing and debugging
- static/dynamic configuration of operating systems
- static/dynamic specialization within operating systems
- the use of OS abstractions and techniques in language runtimes
The workshop will be a highly interactive event with an agenda designed to promote focused and lively discussions. Each potential participant should submit a paper as described below. The set of accepted papers will be made available to registered attendees in advance of the workshop. Participants should come to the workshop prepared with questions and comments.
The workshop organizers will use the accepted papers and input from participants to compile a list of topics for working groups, to be held during the workshop. The set of topics may be extended or changed during the workshop, based on the presentation and discussion of the workshop papers.
Submission GuidelinesPLOS welcomes research, experience, and position papers; papers describing industrial experience are particularly encouraged. All papers must be written in English and should be formatted according to the ACM proceedings format. Submissions must not be more than five (5) pages in length---this limit will be strictly enforced. Papers must be submitted in PDF format via the workshop Web site. They will be reviewed by the workshop program committee and designated external reviewers. Papers will be evaluated based on technical quality, originality, relevance, and presentation.
Accepted papers will be published electronically in the ACM Digital Library and in a special issue of Operating Systems Review (OSR). The authors of accepted papers will be required to sign ACM copyright release forms. The publication of a paper in the PLOS workshop proceedings is not intended to replace future conference publication.
Program Committee- Eric Eide, University of Utah
- Manuel A. Faehndrich, Microsoft Research
- Andreas Gal, Mozilla Corporation
- Robert Grimm, New York University
- Gernot Heiser, University of New South Wales
- Maurice Herlihy, Brown University
- Urs Hoelzle, Google
- Bernd Mathiske, Adobe
- Gilles Muller (chair), Ecole des Mines de Nantes
- Laurent Reveillere, ENSEIRB/LABRI
- Eric Eide, University of Utah
- Andreas Gal, Mozilla Corporation
- Gilles Muller, Ecole des Mines de Nantes
- Olaf Spinczyk, Technische Universitaet Dortmund
PLOS 2009 Technical Program
| Sunday, October 11 | |
| 7:00 AM - 8:30 AM | Breakfast |
| 8:30 AM - 10:00 AM | Session 1: Welcome and Keynote |
| 10:00 AM - 10:30 AM | Break |
| 10:30 AM - 12:00 PM | Session 2: Kernels and Distributed Systems |
| 12:00 PM - 1:30 PM | Lunch |
| 1:30 PM - 3:00 PM | Session 3: Domain-Specific Languages |
| 3:00 PM - 3:30 PM | Break |
| 3:30 PM - 5:00 PM | Session 4a: Working Groups |
| 5:00 PM - 6:30 PM | Session 4b: Wrap Up |
| 6:30 PM - 9:30 PM | SOSP 2009 Reception and Dinner Buffet |
Session 1: Welcome and Keynote
| Welcome and Introductions |
| The PLOS 2009 Organizing Committee |
| Keynote Address: TBD |
| TBA |
Session 2: Kernels and Distributed Systems
| Kernels... |
| Checking Process-Oriented Operating System Behaviour using CSP and Refinement |
| Frederick R. M. Barnes and Carl G. Ritson (University of Kent) |
| A Microkernel API for Fine-Grained Decomposition |
| ...and Distributed Systems |
| Sebastian Reichelt, Jan Stoess, and Frank Bellosa (University of Karlsruhe) |
| Code Partitioning Gossip |
| Lonnie Princehouse and Ken Birman (Cornell University) |
| CatchAndRetry: Extending Exceptions to Handle Distributed System Failures and Recovery |
| Emre Kiciman, Benjamin Livshits, and Madanlal Musuvathi (Microsoft Research) |
Session 3: Domain-Specific Languages
| Filet-o-Fish: Practical and Dependable Domain-Specific Languages for OS Development |
| Pierre-Evariste Dagand (ENS Cachan-Bretagne), Andrew Baumann, and Timothy Roscoe (ETH Zurich) |
| KStruct: Preserving Consistency Through C Annotations |
| Alexander Schmidt, Martin von Loewis, and Andreas Polze (Hasso-Plattner-Institut at University of Potsdam) |
| Distributed Data Flow Language for Multi-Party Protocols |
| Krzysztof Ostrowski, Ken Birman, and Danny Dolev (Cornell University) |
Session 4a: 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. |
Session 4b: 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,... |
