Section: Dissemination
Promoting Scientific Activities
Scientific Events: Organisation
General Chair, Scientific Chair
Gilles Muller is the elected representative member of the system community in the steering committee of the COMPAS conference and also the head of the committee.
Member of the Organizing Committees
Gilles Muller was one the co-organizers of the 10th PLOS Workshop that was associated with SOSP.
Scientific Events: Selection
Chair of Conference Program Committees
Julia Lawall was program chair of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) with Darko Marinov (University of Illinois).
Member of the Conference Program Committees
-
Julia Lawall: ICSE 2020 New Ideas and Emerging Results, 2019 USENIX Annual Technical Conference (USENIX ATC 2019, ERC), Innovations in Software Engineering Conference (ISEC 2020), The 18th Belgium-Netherlands Software Evolution, Workshop (BENEVOL 2019), 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019), ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
-
Gilles Muller, Usenix ATC 2019, SOSP 2019, Supercomputing - system track 2019
Journal
Member of the Editorial Boards
Reviewer - Reviewing Activities
Invited Talks
-
Julia Lawall: Automation in the Maintenance of the Linux Kernel The Coccinelle Experience. Collège de France, February 6.
-
Julia Lawall: Coccinelle: 10 Years of Automated Evolution in the Linux Kernel, keynote Linaro Connect conference, September 27.
-
Julia Lawall: 10 Years of Automated Evolution in the Linux Kernel, keynote MASCOTS conference, October 23.
-
Julia Lawall: Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. Lund University, Tsinghua University, University of Illinois, National University of Singapore.
-
Lucas Serrano: SPINFER: Semantic patch inference for the Linux kernel. Singapore Management University.
-
Gilles Muller: Research problems in thread scheduling for multicore general purpose operating systems, WOS Workshop (Rennes), University of Utah, University of New South Wales, University of Sydney, ENS Lyon.
-
Pierre-Évariste Dagand: Programming with dependent types, Collège de France.
Scientific Expertise
Julia Lawall, Gilles Muller: Discussion with Starburst as part of their survey of sovereign operating systems (March 19, 2019).
Research Administration
-
Gilles Muller: Member of a hiring committee for a Professor Position at ENS Lyon.
-
Gilles Muller: Elected member of IFIP WG 10.4 (Dependability),
-
Bertil Folliot: Elected member of the IFIP WG10.3 working group (Concurrent systems)
-
Julia Lawall: Founding member of IFIP WG 2.11 (Program Generation),
-
Pierre-Évariste Dagand: Member of a hiring committee for a “Professeur Assistant d’exercice incomplet en Informatique” at École Polytechnique