Call for Papers: 4th Workshop on Programming Languages and Operating Systems (PLOS 2007)

Important Dates

Overview

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

Organizing Committee