[TYPES/announce] CFP: PLOS '09: 5th Workshop on Programming Languages and Operating Systems

[Eric Eide]

If you apply type-based or other advanced language ideas in the implementation
of operating systems, we hope you will consider submitting a paper to PLOS '09.

See the CFP below, or visit the Web site at http://plosworkshop.org/2009/

Best wishes ---

Eric, Andreas, Gilles, and Olaf
The PLOS 2009 Organizing Committee

-------------------------------------------------------------------------------

                                CALL FOR PAPERS

         Fifth Workshop on Programming Languages and Operating Systems
                                  (PLOS 2009)

                               October 11, 2009
                       Big Sky Resort / Big Sky, MT, USA

                         http://plosworkshop.og/2009/

                            Sponsored by ACM SIGOPS
                         In conjunction with SOSP 2009
                      http://www.sigops.org/sosp/sosp09/

                Paper submission deadline:       June 19, 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

AGENDA

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 GUIDELINES

PLOS 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

ORGANIZING COMMITTEE

Eric Eide, University of Utah
Andreas Gal, Mozilla Corporation
Gilles Muller, Ecole des Mines de Nantes
Olaf Spinczyk, Technische Universitaet Dortmund