> PLOS 2007 > Program  

Workshop Program

PLOS will be held in the "Adams" room in the Skamania Lodge.
Presentation
09:00 - 09:15 Welcome PDF PPT
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.
PDF PPT
Towards Easing the Diagnosis of Bugs in OS Code
Henrik Stuart, Rene Rydhof Hansen, Julia Lawall, Jesper Andersen, Yoann Padioleau, and Gilles Muller.
PDF PPT
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.
PDF
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.
PDF
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.
PDF
Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor
Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan.
PDF
A High-Performance Operating System for Structured Concurrent Programs
Luc Blaeser.
PDF PPT
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.
PDF PPT
Formalising Device Driver Interfaces
Leonid Ryzhyk, Ihor Kuz, and Gernot Heiser.
PDF
05:15 - 05:30 Wrap-up PDF PPT

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