Workshop Program

PLOS will be held in the "Adams" room in the Skamania Lodge.

		Presentation
09:00 - 09:15	Welcome
09:15 - 10:30	Session 1: "Construction and Repair"
	Writing Systems Software in a Functional Language Iavor Diatchki, Thomas Hallgren, Mark Jones, Rebekah Leslie, and Andrew Tolmach.
	Towards Easing the Diagnosis of Bugs in OS Code Henrik Stuart, Rene Rydhof Hansen, Julia Lawall, Jesper Andersen, Yoann Padioleau, and Gilles Muller.
10:30 - 11:00	Break
11:00 - 12:30	Session 2: "Crosscutting Concerns"
	Configurable Memory Protection by Aspects Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, and Wolfgang Schroeder-Preikschat.
	A DSL approach for object memory management of small devices Kevin Marquet and Gilles Grimaud.
	Resource Management Aspects for Sensor Network Software Sean Walton and Eric Eide.
12:30 - 02:00	Lunch Break
02:00 - 03:30	Session 3: "Concurrency"
	Why The Grass May Not Be Greener On The Other Side: A Comparison of Locking vs. Transactional Memory Paul McKenney, Maged Michael, and Jonathan Walpole.
	Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan.
	A High-Performance Operating System for Structured Concurrent Programs Luc Blaeser.
03:30 - 04:00	Break
04:00 - 05:15	Session 4: "Low-Level Interfaces"
	Checking the Hardware-Software Interface in Spec# Kevin Bierhoff and Chris Hawblitzel.
	Formalising Device Driver Interfaces Leonid Ryzhyk, Ihor Kuz, and Gernot Heiser.
05:15 - 05:30	Wrap-up

In order to leave sufficient time for discussion, the authors are expected to prepare a presentation that is not longer than 15 minutes.

Last modified: 2021-05-20 OS