Workshop on Operating Systems and Programming Languages
Monday March 26th, Paris
News
Manuel Fähndrich has had to change his travel schedule. Galen Hunt will give his talk.
Program
|
09h 00 - 09h30 |
Welcome |
|
09h30 - 10h30 |
Singularity: Rethinking the Software Stack |
|
10h30 - 11h00 |
Coffee break |
|
11h00 - 12h00 |
Synergies of Language and Operating System co-Design in Singularity |
|
12h00 - 13h45 |
Lunch |
|
13h45 - 14h30 |
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations |
|
14h30 - 15h15 |
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers |
|
15h15 - 15h45 |
Coffee break |
|
15h45 - 16h30 |
Title to be defined? |
|
16h30 - 17h15 |
Camille: an exo-kernel for constrained devices |
|
17h15 |
Closing |
Organizers:
- Laurent Réveillère, LaBRI/INRIA, laurent.reveillere@inria.fr
- Gilles Muller, EMN
- With the sponsorship of Microsoft France.
Place:
The workshop will take place at Microsoft France, 148 rue de l'Université, Paris. Access map.
Registration:
To register, send an email to jte@sigops-france.fr before March 15th, 2007. Registrations received after this date will be accepted subject to availability. The workshop fee includes the lunch and breaks.
Fees:
- Free of charge for ASF members (include your ASF membershinp ID in your registration form)
- Free of charge for Microsoft employees (Includes one year membership to ASF)
- 40€ otherwise (includes one year membership to ASF)
Payment:
Payments can be performed by purchase order, cheque or bank tranfer.
- Payments by purchase order and cheque must be sent to
- Information relating to the payment
Payment Order:
Association ACM/SIGOPS de France
Identification:
SIRET 434 253 530 00019
SIREN 434 253 530
Code APE 913E
International Bank Account Number:
FR76 15589 35130 03860532640 50
CCM Rennes J.D'arc-Thabor
Attendees (registrations received up to now)
- Laurent Réveillère, LaBRI/INRIA, France
- Gilles Muller, École des Mines de Nantes, France
- Galen Hunt, Microsoft Research, USA
- Manuel Fähndrich, Microsoft Research, USA
- Laurent Burgy, LaBRI/INRIA, France
- Jean-Bernard Stefani, INRIA, France
- Vincent Benomy, INRIA, France
- Jean-Louis Lanet, Gemalto, France
- François Merand, Microsoft, France
- Marc Shapiro, INRIA, France
- François Armand, VirtualLogix, France
- Kevin Marquet, LIFL/INRIA, France
- Dorina GHINDICI, LIFL, France
- Simon DUQUENNOY, LIFL/INRIA, France
- Yoann PADIOLEAU, École des Mines de Nantes, France
- Vivien Quéma, LSR/INRIA, France
- Didier DONSEZ, LSR/INRIA, France
- Zoé Drey, Thales/INRIA, France
- Denis Conan, GET/INT/INF, France
- Charles Clément, UPMC - LIP6, France
- Sophie Chabridon, INT, France
- Nicolas Geoffray, UPMC - LIP6, France
- Jean-Marc Menaud, École des Mines de Nantes, France
- Pierre Duquesne, IRISA/INRIA, France
- Pierre Sutra, LIP6, France
- Zaak CHALAL, AXA, France
- Guillaume Salagnac, Vérimag, France
- Alain ZANCHETTA, Microsoft France
- Bertand AUDRAS, Microsoft France
- Pierre-Louis XECH, Microsoft France
- Jean-Marc PRIEUR, ANPROS - France
- Henri-Dominique RAPIN, AXA IM, France
- Jean-Louis LEQUEUX, ATOS ORIGIN, France
- Yves FEUILLET, Orange FT, France
- Emmanuel DORNINGER, CIC EI, France
- André GERMINET, Crédit Agricole, France
- Jean-Yves GRASSET, Microsoft, France
- Eric VERNIER, Microsoft, France
- Nicolas FARCET, Thales, France
- Régis MAUGER, Microsoft, France
- Adnane Berrada, Atos Origin, France
