Fwd: CFP: PLOS '13: 7th Workshop on Programming Languages and Operating Systems

[Anil Madhavapeddy <avsm2@xxxxxxxxxxxx>]

Be provocative! Interesting! Controversial! Stimulating!  And when you're done 
with all that, submit a paper to PLOS 2013!

The PC spans industry and academia, so cross-over work (for example, that 
you've done during an internship) would be particularly welcome.  Feel free to 
talk to Tim Harris or myself if you have any queries about the scope of work 
you intend to submit.

This workshop will also be co-located at SOSP, and an excellent reason to plead 
with your supervisor for travel funds to attend the main conference.

-anil
 
Begin forwarded message:

> From: Tim Harris <timothy.l.harris@xxxxxxxxxx>
> Subject: CFP: PLOS '13: 7th Workshop on Programming Languages and Operating 
> Systems
> Date: 7 February 2013 11:14:28 GMT
> To: infodir_sigplan@xxxxxxx
> Cc: Anil Madhavapeddy <Anil.Madhavapeddy@xxxxxxxxxxxx>
> 
>                              CALL FOR PAPERS
> 
>       Seventh Workshop on Programming Languages and Operating Systems
>                                (PLOS 2013)
> 
>                             November 3, 2013
>                 Nemacolin Woodlands Resort, Pennsylvania, USA
> 
>                       http://plosworkshop.org/2013/
> 
>                          Sponsored by ACM SIGOPS
>                       In conjunction with SOSP 2013
>                    http://www.sigops.org/sosp/sosp13/
> 
>              Paper submission deadline:        July 5, 2013
>              Notification of acceptance:     August 9, 2013
>              Workshop:                     November 3, 2013
> 
> 
> Historically, operating system development and programming language
> development went hand-in-hand.  Challenges in one area were often
> approached using ideas or techniques developed in the other, and
> advances in one area enabled new capabilities in the other.
> 
> 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,
> 
> - experience reports on applying new language techniques in
>   commercial OS settings.
> 
> AGENDA
> 
> The workshop will be a highly interactive event with an agenda
> designed to promote focused and lively discussions.
> 
> Part of the workshop will be based on presentations of papers---we
> welcome research, experience, and position papers; papers describing
> industrial experience are particularly encouraged.  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
> 
> 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
> 
>  Herbert Bos, VU, Amsterdam
>  Angela Demke Brown, University of Toronto
>  Marius Eriksen, Twitter
>  Nate Foster, Cornell University
>  Robert Grimm, New York University
>  Tim Harris, Oracle Labs, Cambridge, UK (co-chair)
>  Julia Lawall, Inria/LIP6
>  Shan Lu, University of Wisconsin
>  Anil Madhavapeddy, University of Cambridge (co-chair)
>  Scott Mahlke, University of Michigan
>  Bryan O'Sullivan, Facebook
>  Benjamin Pierce, University of Pennsylvania
>  Chris Rossbach, Microsoft Research
>  Gael Thomas, LIP6
>  Adam Wick, Galois
> 
> ORGANIZING COMMITTEE
> 
>  Chris Hawblitzel, Microsoft Research
>  Gilles Muller, Inria/LIP6
>  Olaf Spinczyk, Technische Universitat Dortmund
>