From: Thomas Petazzoni <thomas.petazzoni@enix.org>
To: linux-kernel@vger.kernel.org
Subject: Libre Software Meeting // Operating Systems
Date: Fri, 10 Jun 2005 14:47:47 +0200 [thread overview]
Message-ID: <42A98BF3.10504@enix.org> (raw)
The Libre Software Meeting (LSM) is a yearly event that has been
organized since the year 2000 by the French Free Software Community. LSM
will take place this year in Dijon, from July 5th to July 9th. It
gathers people from various regions of the world, and comprises both
technical conferences where Free Software developers meet and discuss,
and societal talks about ethical and legal issues relevant to the Free
Software Movement. Access to the conference is free (as in "free
speech") and free (as in "free beer"). More information is available
from the LSM website:
http://libresoftwaremeeting.org/
The "Operating System Design and Implementation" topic this year will
gather a wide range of developers and researchers in this area. A full
program is available online:
http://libresoftwaremeeting.org/sections/conference/noyau_et_systeme/
http://thomas.enix.org/pub/rmll2005/rmll2005-os-program-en.pdf
The topics that will be discussed include:
o the design of flexible OSes, namely the GNU Hurd (by Gaël le
Mignot), Plan 9 (by Charles Forsyth) and the THINK framework (by
Juraj Polakovic);
o improving OS security by design, in EROS (by Jonathan Shapiro, Johns
Hopkins University) and in the port of the GNU Hurd to the L4
microkernel (by Marcus Brinkmann);
o dependability, using open proofs in Coyotos (by Jonathan Shapiro) or
through device driver isolation (by Joshua LeVasseur, Universität
Karlsruhe);
o resource management, in particular a novel approach for the GNU Hurd
on L4 (by Neal Walfield), an evaluation of the Linux memory
management subsystem (by Mel Gorman), and the "scheduler activation"
abstraction as a foundation for user-level parallelism (by Vincent
Danjean);
o virtualization with User-Mode-Linux (by Jeff Dike);
o distributed OSes, namely Kerrighed (by Christine Morin, Renaud
Lottiaux and Pascal Gallard) and openMosix (by Moshe Bar);
o the use of high-level and special-purpose programming languages in
OSes (by Julia Lawall, Ewout Prangsma, Frode Vatvedt Fjeld, Jérémy
Bobbio and Xavier Grave);
o the implementation of an OS step-by-step (by David Decotigny and
Thomas Petazzoni).
Proceedings will be available online after the conference. For more
information, please email us at <thomas.petazzoni@enix.org> and
<ludovic.courtes@laas.fr>.
--
Thomas Petazzoni
thomas.petazzoni@enix.org
reply other threads:[~2005-06-10 12:48 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=42A98BF3.10504@enix.org \
--to=thomas.petazzoni@enix.org \
--cc=linux-kernel@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox