posted by system || 8064 views || tracked by 20 users: [display]

PLOS 2011 : 6th Workshop on Programming Languages and Operating Systems

FacebookTwitterLinkedInGoogle

Link: http://plosworkshop.org/2011/
 
When Oct 23, 2011 - Oct 23, 2011
Where Cascais, Portugal
Submission Deadline Jun 17, 2011
Notification Due Jul 31, 2011
Final Version Due Sep 9, 2011
Categories    programming languages   operating systems
 

Call For Papers

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

Program Committee

Yolande Berbers, KU Leuven
Eric Eide, University of Utah
Michael Franz, UC Irvine
Robert Grimm, New York University
Thomas Gross, ETH Zürich
Tim Harris, Microsoft Research Cambridge
Julia Lawall, University of Copenhagen
Gilles Muller, INRIA/LIP6
Wolfgang Schröder-Preikschat (chair), University of Erlangen
Olaf Spinczyk, Technische Universität Dortmund

Organizing Committee

Eric Eide, University of Utah
Gilles Muller, INRIA/LIP6
Olaf Spinczyk, Technische Universität Dortmund

Related Resources

HiPEAC 2025   High Performance Embedded Architectures and Compilers
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
APLAS 2024   The 22nd Asian Symposium on Programming Languages and Systems
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming