• The Flux OS Toolkit: Reusable Components for OS Implementation

In this talk, Jay Lepreau from University of Utah presented the Flux OS Toolkit which provides a low-level OS infrastructure that allows OS code reuse and facilitates OS implementation.

Extended Discussion




• Formal Methods: A Practical Tool for OS Implementors

  Patrick Tullmann described the use of formal methods to verify properties of the implementation of the IPC subsystem in the Fluke kernel.

  Extended Discussion	Slides

  
  

Notes for the Entire Session

Return to Scribe Home Page