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)
- 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
- The full proposal
- Task 1 : Task 1 deliverable
- Task 2 : Task 2 deliverable
- Task 3 : Task 3.1 deliverable
- Final : Final deliverable
Associated publications (on HAL)
2024
Journal articles
- titre
- On Complexity Bounds and Confluence of Parallel Term Rewriting
- auteur
- Thaïs Baudon, Carsten Fuhs, Laure Gonnord
- article
- Fundamenta Informaticae, In press
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Bit-Stealing Made Legal
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- Proceedings of the ACM on Programming Languages, 2023, ICFP, 7 (ICFP), pp.813-846. ⟨10.1145/3607858⟩
- DOI
- DOI : 10.1145/3607858
- Accès au texte intégral et 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
-
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
-
- 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
-
2021
Conference papers
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
2019
Conference papers
- titre
- Semantic Array Dataflow Analysis
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
- article
- IMPACT 2019, Jan 2019, Valence (Espagne), Spain
- Accès au bibtex
-
- 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
-
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
-
