EN FR
EN FR


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

  • Pierre-Évariste Dagand: ICFP 2019, PLOS 2019

Journal

Member of the Editorial Boards
  • Julia Lawall: Science of Computer Programming

Reviewer - Reviewing Activities
  • Julia Lawall: IEEE Transactions on Software Engineering

  • Pierre-Évariste Dagand: Journal of Functional Programming

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.

  • Julia Lawall: Julia's adventures with Why3. CNAM.

  • 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