Libre Software Meeting 2005

Operating System Design and Implementation

The following talks took place during the Libre Software Meeting 2005, from July, 5th to July, 9th, in Dijon, France. They were organized inside the technical topic entitled Operating system design and implementation, headed by Ludovic Courtès and Thomas Petazzoni.

The abstracts and schedule of the talks are available in PDF, in English and French.

Note: the audio recordings were made using a poor quality microphone, so their quality is not very good. Some of them are not available because of technical issues or too low quality.

List of talks:

• General presentation of the GNU/Hurd operating system, by Gaël Le Mignot
  Abstract [en] - Abstract [fr] - Slides [pdf] - Paper [pdf] - Video [torrent] - Audio recording [ogg]
  
  
• Porting the GNU/Hurd to the L4 microkernel, by Marcus Brinkmann
  Abstract [en] - Abstract [fr] - Slides [pdf] - Audio recording [ogg]
  
  
• A Market-Based Approach to Resource Management for the GNU/Hurd multiserver operating system, by Neal Walfield
  Abstract [en] - Abstract [fr] - Paper [pdf] - Slides [pdf] - Audio recording [ogg]
  
  
• Measuring the Impact of the Virtual Memory Manager in Linux, by Mel Gorman
  Abstract [en] - Abstract [fr] - Paper [pdf] - Slides [pdf] - Audio recording [ogg]
  
  
• Plan 9 from Bell Labs, by Charles Forsyth
  Abstract [en] - Abstract [fr] - Paper [pdf] - Slides [tar.gz] - Slides [online]
  
  
• A Look at the EROS Operating System, by Jonathan S. Shapiro, Johns Hopkins University, United States
  Abstract [en] - Abstract [fr] - Paper [pdf] - Slides - Audio recording part 1 [ogg] - Audio recording part 2 [ogg]
  
  
• From EROS to Coyotos/BitC: Open Source meets Open Proofs, by Jonathan S. Shapiro, Johns Hopkins University, United States
  Abstract [en] - Abstract [fr] - Paper [pdf] - Slides - Audio recording [ogg]
  
  
• Cluster Single System Image Systems: a State of the Art, by Christine Morin, IRISA, France
  Abstract [en] - Abstract [fr] - Slides [pdf] - Audio recording [ogg]
  
  
• Kerrighed: a Single System Image System for High Performance Computing on Linux Clusters, by Renaud Lottiaux and Pascal Gallard, IRISA, France
  Abstract [en] - Abstract [fr] - Slides [pdf] - Slides [OpenOffice] - Audio recording [ogg]
  
  
• openMosix, by Moshe Bar
  Abstract [en] - Abstract [fr]
  
  
• Scheduler Activations: principles and implementation in the Linux Kernel, by Vincent Danjean
  Abstract [en] - Abstract [fr] - Slides [pdf]
  
  
• JNode.org: why Java is practical for modern operating systems, by Ewout Prangsma
  Abstract [en] - Abstract [fr] - Slides [pdf] - Audio recording [ogg]
  
  
• High-level yet policy-free, by Frode Vatvedt Fjeld
  Abstract [en] - Abstract [fr] - Paper [pdf] - Slides [pdf] - Audio recording [ogg]
  
  
• Thoughts about hOp: Operating Systems without Newspeak, by Jérémy Bobbio
  Abstract [en] - Abstract [fr] - Slides [online] - Slides [tar.bz2] - Audio recording [ogg]
  
  
• SOS: a step-by-step implementation of a "do-it-yourself" Unix-like OS, by David Decotigny and Thomas Petazzoni
  Abstract [en] - Abstract [fr] - Slides [pdf] - Paper [pdf]
  
  
• Toy Lovelace: an adaptation of SOS in Ada 95, by Xavier Grave
  Abstract [en] - Abstract [fr] - Slides [pdf] - Audio recording [ogg]
  
  
• Improving System Dependability Using Virtual Machines, by Joshua LeVasseur
  Abstract [en] - Abstract [fr] - Slides [pdf] - Audio recording [ogg]
  
  
• User-Mode-Linux, by Jeff Dike
  Abstract [en] - Abstract [fr] - Slides [pdf] - Audio recording [ogg]
  
  
• THINK, a software framework for component-based operating system kernels, by Juraj Polakovic, France Telecom R&D, France
  Abstract [en] - Abstract [fr]
  
  
• The Bossa Framework for Scheduler Development, by Julia Lawall, DIKU, University of Copenhagen, Denmark
  Abstract [en] - Abstract [fr] - Slides [pdf] - Paper [pdf] - Audio recording [ogg]