People

Team (permanent members)
  • Laure Gonnord, PI, Habilitated Ass. Prof Lyon1/LIP (Lyon), Full Prof at Esisar/Grenoble-INP since sept 2021
  • Christophe Alias, Inria Researcher, LIP (Lyon)
  • Carsten Fuhs, Lecturer, Birbeck (London)
  • Lionel Morel, Ass. Prof Insa Lyon/CITI (Lyon)
  • Fabrice Rastello, Inria Research director, (Grenoble)
  • Gabriel Radanne, Inria Researcher, LIP (Lyon)
  • Tomofumi Yuki, Inria Researcher, Irisa (Rennes)
Students
  • Paul Iannetta PhD student, 2018-2022, ENS de Lyon. (advisors : Laure Gonnord/Lionel Morel/Gabriel Radanne)
  • Thaïs Baudon, Master student, 2021, ENS de Rennes. (advisors : Laure Gonnord/Carsten Fuhs)
  • Thaïs Baudon, Phd student, started in 2021 (ENS scholarship). (advisors : Laure Gonnord/Gabriel Radanne)

Documents

Associated publications (on HAL)

2023

Conference papers

titre
Bit-Stealing Made Legal
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
DOI
DOI : 10.1145/3607858
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04165615/file/main.pdf BibTex

2022

Journal articles

titre
A Survey on Parallelism and Determinism
auteur
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
article
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
DOI
DOI : 10.1145/3564529
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03828497/file/Surveypaper.pdf BibTex

Conference papers

titre
Analysing Parallel Complexity of Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia
Accès au texte intégral et bibtex
https://hal.science/hal-03749679/file/lopstr22_paracomp.pdf BibTex
titre
On Confluence of Parallel-Innermost Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03710007/file/iwc22_para.pdf BibTex

2021

Conference papers

titre
Compiling pattern matching to in-place modifications
auteur
Paul Iannetta, Laure Gonnord, Gabriel Radanne
article
GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
DOI
DOI : 10.1145/3486609.3487204
Accès au texte intégral et bibtex
https://hal.science/hal-03355377/file/gpce2021-cursors.pdf BibTex
titre
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
DOI
DOI : 10.1007/978-3-030-88806-0_11
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03321868/file/braine_al_sas2021.pdf BibTex
titre
Isomorphisms are back!
auteur
Clément Allain, Gabriel Radanne, Laure Gonnord
article
ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Accès au texte intégral et bibtex
https://hal.science/hal-03355381/file/mlworkshop.pdf BibTex
titre
Parallel Complexity of Term Rewriting Systems
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.science/hal-03418400/file/wst2021.pdf BibTex
titre
A New Memory Layout for Self-Rebalancing Trees
auteur
Paul Iannetta
article
CGO'21, Feb 2021, Séoul, South Korea
Accès au texte intégral et bibtex
https://hal.science/hal-03123491/file/cgo2021.pdf BibTex

Reports

titre
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03214475/file/RR-9408.pdf BibTex
titre
Parallelizing Structural Transformations on Tarbres
auteur
Paul Iannetta, Laure Gonnord, Gabriel Radanne
article
[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03208466/file/rr-9405.pdf BibTex

2019

Conference papers

titre
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
auteur
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
article
VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
DOI
DOI : 10.1007/978-3-030-11245-5_6
Accès au texte intégral et bibtex
https://hal.science/hal-01939659/file/vmcai19_binary_cr_authorversion.pdf BibTex

2018

Conference papers

titre
Polyhedral Dataflow Programming: a Case Study
auteur
Romain Fontaine, Laure Gonnord, Lionel Morel
article
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01855997/file/finalversion_hal_sbacpad18_FGM.pdf BibTex