Workshop Program

PLOS 2015 will be an all-day workshop on Sunday, Oct 4th, held at Monterey (CA, USA) just before SOSP .

Registration is handled via SOSP (https://www.regonline.com/sosp2015).

Location: room Bonsai I & II of Portola Hotel & Spa

8:45 -- Welcome (Shan Lu)

8:50 -- Keynote Talk (Session Chair: Shan Lu)

• Rust: Hack without fear. Nicholas Matsakis (Mozilla research)

  Rust is a new programming language targeting systems-level applications. Rust offers a similar level of control over performance to C++, but guarantees type soundness, memory safety, and data-race freedom. One of Rust's distinguishing features is that, like C++, it supports stack allocation and does not require the use of a garbage collector.
  This talk covers the basics of Rust, with an emphasis on the type system. We show how Rust employs ownership and regions in order to guarantee memory safety, and how these same techniques can be generalized to provide data-race freedom.

  About the speaker: Nicholas Matsakis is a senior researcher at Mozilla research and a member of the Rust core team. He has been working on Rust for four years and did much of the initial work on its type system and other core features.

10:00 -- Break

We recommend our attendees to attend this talk held @ SOSP History Day Workshop.
• Perspectives on system languages and abstraction. Barbara Liskov (MIT)

10:30 -- Coffee

11:00 -- Small & Large Scales (Session Chair: Chris Hawblitzel)

• Ownership is Theft: Experiences Building an Embedded OS in Rust. Amit Levy (Stanford University), Michael Andersen (University of California, Berkeley), Bradford Campbell (University of Michigan), David Culler (University of California, Berkeley), Prabal Dutta (University of Michigan), Branden Ghena (University of Michigan), Philip Levis (Stanford University) and Pat Pannuto (University of Michigan) [Slides (PDF)]



• Making Lock-free Data Structures Verifiable with Artificial Transactions. Xinhao Yuan, David Williams-King, Junfeng Yang and Simha Sethumadhavan (Columbia University) [Slides [PDF] ]



• Speculative Region-based Memory Management for Big Data Systems. Khanh Nguyen, Lu Fang, Harry Xu and Brian Demsky (University of California, Irvine)




12:15 -- Lunch

13:45 -- Kernels (Session Chair: Gilles Muller)

• Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. Christoph Borchert and Olaf Spinczyk (Technische Universität Dortmund) [Slides [PDF] ]



• Lightweight Capability Domains: Towards Decomposing the Linux Kernel. Charles Jacobsen (University of Utah), Muktesh Khole (Microsoft Corporation), Sarah Spall, Scotty Bauer and Anton Burtsev (University of Utah) [Slides [PDF] ]




14:35 -- Coffee

14:50 -- Extensions (Session Chair: Olaf Spinczyk)

• Tapir: a language for verified OS kernel probes. Ilya Yanok and Nathaniel Nystrom (University of Lugano) [Slides [PDF]]



• Running Application Specific Kernel Code by a Just-In-Time Compiler. Ake Koomsin and Yasushi Shinjo (University of Tsukuba) [Slides [PDF]]

15:40 -- Coffee

16:10 -- Demos and Posters