On 4th April, at 1:30 pm : Remembering Gilles...
Gilles Muller began his studies in math/physics at Paris 6 in 1980. Based on happy childhood memories of sailing in Brittany and a fervent desire to escape punched cards, in 1982 he transferred to INSA Rennes, which was specialized in computer science and had the most up to date hardware at the time. Having acquired a deep love of research, as well as a substantial expertise in the Rubik's cube, in 1985 he started a PhD at IRISA in the LSP team, under the direction of Jean-Pierre and Michel Banatre.
A tribute to Gilles Muller will take place on Monday 04 April at 13:30 in the amphitheatre Inria Rennes Bretagne Atlantique.
Open to all upon registration
WORKSHOP DETAILS
| 1:30 PM 1:50 PM |
Welcome by David Bromberg (General Chair) from the Inria Centre and IRISA, and the University of Rennes |
| 1:50 PM 2:05 PM |
Early Times: Gilles' Adventure of the Stable Memory by Christine Morin from Inria |
| 2:05 PM 2:10 PM |
Video guests |
| 2:10 PM 2:30 PM |
The devil is in the details by Laurent Réveillère from University of Bordeaux |
| 2:30 PM 2:50 PM |
Concurrent computing: an operating system perspective by Pascal Felber from University of Neuchatel |
| 2:50 PM 2:55 PM |
Video guests |
| 2:55 PM 3:15 PM |
Coccinelle: then and today by Julia Lawall from Inria |
| 3:15 PM 3:35 PM |
Semgrep: Pushing Coccinelle ideas to industry by Yoann Padioleau from r2c |
| 3:35 PM 3:40 PM |
Video guests |
| 3:40 PM 4:00 PM |
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications by Jean-Pierre Lozi from Oracle |
| 4:00 PM 4:20 PM |
Why software robustness matters, and today more than ever by Paulo Verissimo from KAUST - King Abdullah University of Science and Technology |
| 4:20 PM 4:40 PM |
Towards domain specific languages generating verified OS components by Xavier Rival from Inria |
| 4:40 PM 4:55 PM |
From Rennes to Paris: A perspective on Gilles’ journey by Valerie Issarny from Inria |
| 4:55 PM 5:00 PM |
Conclusion |
| 5:15 PM | Departure for dinner |
| 7:00 PM | Dinner (65 euros) |
HOW TO REGISTER?
The workshop is free, but registration is required.
The workshop is followed by a dinner which is not free. You can register for the workshop and sign up for the dinner using the Eurosys registration form. Click here to register.
ORGANIZERS
- Julia Lawall - Inria, Paris
- Laurent Réveillère - Université de Bordeaux
- David Bromberg - University of Rennes at IRISA/Inria Rennes Bretagne Atlantique
Inria's tribute to Gilles Muller
The EuroSys conference will start with a tribute to Gilles Muller. The program is being finalised by Anne-Marie Kermarrec, Professor at EPFL and Christos Kozyrakis, Professor at Stanford University, the Program Committee Chairs. More informations here