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

Eric Eide eeide at cs.utah.edu
Mon May 30 22:27:58 EDT 2011

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 '11.

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

Best wishes ---

Eric, Gilles, and Olaf
The PLOS 2011 Organizing Committee


                                CALL FOR PAPERS

         Sixth Workshop on Programming Languages and Operating Systems
                                  (PLOS 2011)

                               October 23, 2011
                   Hotel Cascais Miragem / Cascais, Portugal


                            Sponsored by ACM SIGOPS
                         In conjunction with SOSP 2011

                Paper submission deadline:       June 17, 2011
                Notification of acceptance:      July 31, 2011
                Final papers due:            September 9, 2011
                Workshop:                     October 23, 2011

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
  * 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.


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, and shorter papers are encouraged.  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.
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.


Yolande Berbers, KU Leuven
Eric Eide, University of Utah
Michael Franz, UC Irvine
Robert Grimm, New York University
Thomas Gross, ETH Zurich
Tim Harris, Microsoft Research Cambridge
Julia Lawall, University of Copenhagen
Gilles Muller, INRIA/LIP6
Wolfgang Schroeder-Preikschat (chair), University of Erlangen
Olaf Spinczyk, Technische Universitaet Dortmund


Eric Eide, University of Utah
Gilles Muller, INRIA/LIP6
Olaf Spinczyk, Technische Universitaet Dortmund

More information about the Types-announce mailing list