[ecoop-info] CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems

[Eric Eide]

                                CALL FOR PAPERS

         Tenth Workshop on Programming Languages and Operating Systems
                                  (PLOS 2019)

                               October 27, 2019
                          Huntsville, Ontario, Canada

                        http://plos-workshop.org/2019/

                            Sponsored by ACM SIGOPS
                         In conjunction with SOSP 2019
                      http://www.sigops.org/sosp/sosp19/

                Paper submission deadline:      August 9, 2019
                Notification of acceptance:  September 6, 2019
                Final papers due:              October 1, 2019
                Workshop:                     October 27, 2019


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
  * the design of language-specific unikernels
  * language-based approaches to crosscutting system concerns, such as
    security and run-time performance
  * language support for system verification, testing, and debugging
  * synthesis of OS code
  * 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 program will be
based on paper presentations.  PLOS welcomes 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.

SUBMISSION GUIDELINES

All papers must be written in English and should be formatted in the two-column
ACM article style (<http://www.sigplan.org/Resources/Author/>, using the
options sigplan,10pt).  The CCS Concepts, Keywords, and ACM Reference Format
sections are not required in submissions.  Submissions are single blind: author
names and affiliations should be included.

Submissions must not be more than six (6) pages in length, using 10-point font.
The bibliography does not count towards the page limit.  The page limit will be
strictly enforced, and shorter papers are encouraged. Papers must be submitted
in PDF format via the workshop website. 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.

By default, accepted papers will be published electronically in the ACM Digital
Library. The authors of accepted papers to be included in the ACM Digital
Library 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

Owen Arden, University of California, Santa Cruz
Jia-Ju Bai, Tsinghua University
Vijay Chidambaram, University of Texas at Austin/VMware Research
Pierre-Evariste Dagand, CNRS/Inria/LIP6
Eric Eide, University of Utah (chair)
Arjun Guha, University of Massachusetts, Amherst
Stephen Kell, University of Kent
Lindsey Kuper, University of California, Santa Cruz
Daniel Lohmann, Leibniz University Hannover
Heather Miller, Carnegie Mellon University
Laurent Reveillere, University of Bordeaux
Leonid Ryzhyk, VMware Research

ORGANIZING COMMITTEE

Chris Hawblitzel, Microsoft Research
Gilles Muller, Inria/LIP6
Olaf Spinczyk, Osnabrueck University