[TYPES/announce] CFP: PLOS '07: 4th 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 '07.

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

Best wishes ---

Eric, Marc, Robert, and Olaf
The PLOS 2007 Organizing Committee

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


                                CALL FOR PAPERS

        Fourth Workshop on Programming Languages and Operating Systems
                                  (PLOS 2007)

                               October 18, 2007
                      Skamania Lodge / Stevenson, WA, USA

                         http://plosworkshop.org/2007/


                Paper submission deadline:        June 29, 2007
                Notification of acceptance:     August 15, 2007
                Final papers due:            September 15, 2007
                Workshop:                      October 18, 2007


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, novel approaches to OS
construction based on new programming language ideas continue to be an active
and important area of research.  The systems field continues to provide a
wealth of challenge problems and new results that should spark advances in
programming languages, software designs, and idioms.

This workshop aims to bring together researchers and developers from the
programming language and the 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 highly interactive, and attendance will be limited to
about thirty (30) people to promote focused and lively discussions.  Each
potential participant should submit a paper as described below.  A single paper
may have multiple authors, but the number of authors per paper at the workshop
may be limited.

The workshop organizers will use the accepted papers and input from invited
participants to compile a list of topics for working groups, to be held during
the workshop.  The list of discussion topics may be extended or changed during
the workshop, based on the presentation and discussion of the workshop papers.


SUBMISSION GUIDELINES

Invitations to the workshop will be based on accepted papers, up to five (5)
pages in length.  The workshop welcomes research, experience, and position
papers; papers describing industrial experience are particularly encouraged.
All papers must be written in English and submitted in PDF format via the
workshop Web site.  Papers should be formatted according to the ACM proceedings
format.  Submissions will be reviewed by the workshop program committee and
designated 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 the authors of accepted papers will be required to sign ACM copyright
release forms.  However, the publication of a paper in the PLOS workshop
proceedings is not intended to replace future conference publication.


PROGRAM COMMITTEE

Emery Berger, University of Massachusetts Amherst
Eric Brewer, University of California, Berkeley
Eric Eide, University of Utah
Manuel A. Fahndrich, Microsoft Research
Marc E. Fiuczynski, Princeton University
Robert Grimm, New York University
Gilles Muller, Ecole des Mines de Nantes
Olaf Spinczyk, University of Erlangen-Nuremberg


ORGANIZING COMMITTEE

Eric Eide (co-chair), University of Utah
Marc E. Fiuczynski (co-chair), Princeton University
Robert Grimm, New York University
Olaf Spinczyk, University of Erlangen-Nuremberg