Section: Dissemination

Promoting Scientific Activities

Scientific Events Selection

Chair of Conference Program Committees

• Gilles Muller: DSN 2018

• Julia Lawall: ASE 2018 Tool Demo track.

Member of the Conference Program Committees

• Gilles Muller: OSDI 2018, EuroSys 2018

• Julia Lawall: EuroSys 2018, ICSE-NIER 2018, ASPLOS 2018 ERC, PEPM 2018, SCAM 2018, APSys 2018, USENIX ATC 2018, CARI 2018

Journal

Member of the Editorial Boards

• Julia Lawall: Editorial board of Science of Computer Programing (2008 - present).

Reviewer - Reviewing Activities

• Julia Lawall: Transactions on Software Engineering, Software: Evolution and Process, IEEE Transactions on Reliability, ACM Transactions on Embedded Computing Systems

Invited Talks

• Gilles Muller:

  • “Provably Work Conserving Multicore Schedulers”, University of Bordeaux, June 13, 2018.

  • “Safe multicore scheduling in a Linux cluster environment”, 3rd GDR RSD and ASF Winter School on Distributed Systems and Networks, Sept Laux, March 20, 2018.

• Julia Lawall:

  • “Coccinelle: 10 Years of Automated Evolution in the Linux Kernel”, 8th Inria/Technicolor Workshop On Systems, Rennes, December 11, 2018.

  • “Software evolution and bug finding using Coccinelle”, Lightweight analysis and verification techniques, Verimag, Grenoble, December 11, 2018.

  • “Coccinelle: 10 Years of Automated Evolution in the Linux Kernel”, Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS), Toulouse, July 3, 2018.

  • “Coccinelle: Practical Program Transformation for the Linux Kernel”, EJCP 2018 : École Jeunes Chercheurs et Jeunes Chercheuses en Programmation 2018, June 25, 2018.

  • “Introduction to Coccinelle and its usage in the Linux Kernel”, Conférence MiNET, Telecom SudParis, May 24, 2018.

• Pierre-Évariste Dagand gave a seminar at the Collège de France entitled “Types dépendants : tout un programme” (November 28, 2018), as part of Xavier Leroy's chair “Sciences du logiciel”.

• Lucas Serrano: “Inference of Semantic Patches from Code Examples”, The Seventh International Workshop on Software Mining, with ASE, September 3, 2018.

• Cedric Courtaud “Toward an Efficient Data Plane for Memory Systems Interference Regulation in COTS Multi-core Systems”, The NExt Step TOwards multi-core Real-time systems workshop, ULB, May 18, 2018.

Scientific Expertise

• Julia Lawall was part of the midterm review panel of the NSF Expedition in Computing project DeepSpec.

Research Administration

• Julia Lawall: IFIP TC secretary (2012 - present). Elected member of IFIP WG 2.11 (Program Generation).

  Member of a hiring committee for a Maître de conférences position at Université Paris Diderot

  Board member of Software Heritage (https://www.softwareheritage.org/).

• Gilles Muller: Elected member of IFIP WG 10.4 (Dependability), representative of Inria in Sorbonne University's advisory committee for research, member of the project committee board of the Inria Paris Center.

• Bertil Folliot: Elected member of the IFIP WG10.3 working group (Concurrent systems)