|On 4th April 2022 |
Starts @ 1:30 PM
Finishes @ 5:00 PM
|At The Inria Rennes-Bretagne Altlantique Research Centre |
(co-located with Eurosys 2022)
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.
Starting from his PhD involving designing a stable memory, through the rest of his career at Inria Rennes, the Ecole de Mines de Nantes, and Inria Paris, the guiding theme of Gilles Muller's career was the goal of reliable systems software. In the Compose team at Rennes, with Charles Consel, in 1996-2002, he explored the use of domain-specific languages, making it possible to express system policies in a high-level way that both eased the task of the programmer and made the code more amenable to ad hoc verifications. He explored a number of systems domains, including the development of device drivers, with the Devil language published at OSDI in 2000. Starting in 2004, in the Obasco team at Nantes, he led the development of another kind of DSL targeting systems challenges, Coccinelle for matching and transforming device driver code. This work was published at EuroSys 2006 and 2008, and is still used today by Linux kernel developers.
In 2009, Gilles Muller joined Inria Paris. In 2014, he formed his own team, Whisper, and plunged into the formal proof of scheduling code, still leveraging a domain-specific language approach. This work, on Ipanema, was published in EuroSys 2020. His dream remained push-button verification of systems code; a step in this direction was the VeriAmos ANR project starting in 2019 led by Xavier Rival. At the same time, as is inevitable in systems, he was concerned with performance, as illustrated by his work on remote core locking, during the PhD of Jean-Pierre Lozi, completed in 2014, and the Nest scheduling policy, which will be presented at EuroSys 2022. Some of these topics will be presented in this workshop.
Gilles Muller was also a tireless promoter of the systems community in France and in Europe as a whole. The organizers and speakers would like to thank him for the many opportunities he has created, through his contributions to the ASF, Compas, EuroSys, and ACM SIGOPS, through the ad hoc workshops he organized, and through informal discussions.
|1:30 PM |
by David Bromberg (General Chair)
from the Inria Centre, and the University of Rennes
|1:50 PM |
| Early Times: Gilles' Adventure of the Stable Memory|
by Christine Morin
|2:05 PM |
|2:10 PM |
|The devil is in the details |
by Laurent Réveillère
from University of Bordeaux
|2:30 PM |
|Concurrent computing: an operating system perspective |
by Pascal Felber
from University of Neuchatel
|2:50 PM |
|2:55 PM |
|Coccinelle: then and today |
by Julia Lawall
|3:15 PM |
|Semgrep: Pushing Coccinelle ideas to industry|
by Yoann Padioleau
|3:35 PM |
|3:40 PM |
|Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications|
by Jean-Pierre Lozi
|4:00 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 |
|Towards domain specific languages generating verified OS components|
by Xavier Rival
|4:40 PM 5:00 PM||Conclusion|
|5:00 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.