[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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