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

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.

Checkout the CFP and website.

Contact Information

Please contact the organizers with any questions.

Important Dates

Paper submission deadline: July 19, 2013
Acceptance notification: August 9, 2013
Workshop: November 3, 2013

Suggested Paper Topics

  • 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

Workshop Organizers

Organizing Committee

  • Chris Hawblitzel, Microsoft Research
  • Gilles Muller, Inria/LIP6
  • Olaf Spinczyk, Technische Universitat Dortmund

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

  • Platinum Sponsors

    • The Murty
      Family Foundation
  • Gold Sponsors

    • Apple
  • Silver Sponsors

  • Bronze Sponsors