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
Galen Hunt, Microsoft Research - USA

10h30 - 11h00

Coffee break

11h00 - 12h00

Synergies of Language and Operating System co-Design in Singularity
Galen Hunt, Microsoft Research USA

12h00 - 13h45

Lunch

13h45 - 14h30

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
Laurent Burgy and Laurent Réveillère, LaBRI/INRIA France

14h30 - 15h15

Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers
Gilles Muller, École des Mines de Nantes - France

15h15 - 15h45

Coffee break

15h45 - 16h30

Title to be defined?
Jean-Bernard Stefani, INRIA France

16h30 - 17h15

Camille: an exo-kernel for constrained devices
Vincent Benomy, INRIA France and Jean-Louis Lanet, Gemalto

17h15

Closing

Organizers:

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
Jean-Marc Menaud (Trésorier ASF)
École des Mines de Nantes
4, rue Alfred Kastler BP 20722
44307 NANTES CEDEX 03

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)

  1. Laurent Réveillère, LaBRI/INRIA, France
  2. Gilles Muller, École des Mines de Nantes, France
  3. Galen Hunt, Microsoft Research, USA
  4. Manuel Fähndrich, Microsoft Research, USA
  5. Laurent Burgy, LaBRI/INRIA, France
  6. Jean-Bernard Stefani, INRIA, France
  7. Vincent Benomy, INRIA, France
  8. Jean-Louis Lanet, Gemalto, France
  9. François Merand, Microsoft, France
  10. Marc Shapiro, INRIA, France
  11. François Armand, VirtualLogix, France
  12. Kevin Marquet, LIFL/INRIA, France
  13. Dorina GHINDICI, LIFL, France
  14. Simon DUQUENNOY, LIFL/INRIA, France
  15. Yoann PADIOLEAU, École des Mines de Nantes, France
  16. Vivien Quéma, LSR/INRIA, France
  17. Didier DONSEZ, LSR/INRIA, France
  18. Zoé Drey, Thales/INRIA, France
  19. Denis Conan, GET/INT/INF, France
  20. Charles Clément, UPMC - LIP6, France
  21. Sophie Chabridon, INT, France
  22. Nicolas Geoffray, UPMC - LIP6, France
  23. Jean-Marc Menaud, École des Mines de Nantes, France
  24. Pierre Duquesne, IRISA/INRIA, France
  25. Pierre Sutra, LIP6, France
  26. Zaak CHALAL, AXA, France
  27. Guillaume Salagnac, Vérimag, France
  28. Alain ZANCHETTA, Microsoft France
  29. Bertand AUDRAS, Microsoft France
  30. Pierre-Louis XECH, Microsoft France
  31. Jean-Marc PRIEUR, ANPROS - France
  32. Henri-Dominique RAPIN, AXA IM, France
  33. Jean-Louis LEQUEUX, ATOS ORIGIN, France
  34. Yves FEUILLET, Orange FT, France
  35. Emmanuel DORNINGER, CIC EI, France
  36. André GERMINET, Crédit Agricole, France
  37. Jean-Yves GRASSET, Microsoft, France
  38. Eric VERNIER, Microsoft, France
  39. Nicolas FARCET, Thales, France
  40. Régis MAUGER, Microsoft, France
  41. Adnane Berrada, Atos Origin, France
Version à imprimerDernière mise à jour : October 09, 2007, at 09:05 AM