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
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.
- Perspectives on system languages and abstraction. Barbara Liskov (MIT)
- 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)
- 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] ]
- 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]]
8:45 -- Welcome (Shan Lu)
8:50 -- Keynote Talk (Session Chair: Shan Lu)
10:00 -- Break
We recommend our attendees to attend this talk held @ SOSP History Day Workshop.
10:30 -- Coffee
11:00 -- Small & Large Scales (Session Chair: Chris Hawblitzel)
12:15 -- Lunch
13:45 -- Kernels (Session Chair: Gilles Muller)
14:35 -- Coffee
14:50 -- Extensions (Session Chair: Olaf Spinczyk)
15:40 -- Coffee
16:10 -- Demos and Posters