2024
Journal articles
- titre
- Abstract Interpreters: A Monadic Approach to Modular Verification
- auteur
- Sébastien Michelland, Yannick Zakowski, Laure Gonnord
- article
- Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), ⟨10.1145/3674646⟩
- DOI
- DOI : 10.1145/3674646
- Accès au texte intégral et bibtex
-
- 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
-
Conference papers
- titre
- Proof assistants for teaching: a survey
- auteur
- Frédéric Tran Minh, Laure Gonnord, Julien Narboux
- article
- The 13th International Workshop on Theorem proving components for Educational software (ThEdu 24), Jul 2024, Nancy, France
- Accès au bibtex
-
- titre
- From low-level fault modeling (of a pipeline attack) to a proven hardening scheme
- auteur
- Sébastien Michelland, Christophe Deleuze, Laure Gonnord
- article
- Compiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩
- DOI
- DOI : 10.1145/3640537.3641570
- Accès au texte intégral et bibtex
-
Reports
- titre
- Research report - Proof assistants for teaching: a survey
- auteur
- Frédéric Tran Minh, Laure Gonnord, Julien Narboux
- article
- LCIS, Grenoble-INP. 2024
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Compiling Morphisms of Algebraic Data Types
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Rebuilding Algebraic Data Types from Mangled Memory Layouts
- auteur
- Gabriel Radanne, Thaïs Baudon, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT)
- auteur
- Sébastien Michelland, Yannick Zakowski, Laure Gonnord
- article
- 2024
- 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
-
- titre
- Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
- Accès au texte intégral et bibtex
-
Reports
- titre
- Compositional Flexible Memory Representations for Algebraic Data Types
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- 9495, Inria. 2022
- Accès au texte intégral et bibtex
-
- titre
- Knit&Frog: Pattern matching compilation for custom memory representations
- auteur
- Thaïs Baudon, Laure Gonnord, Gabriel Radanne
- article
- [Research Report] RR-9473, Inria Lyon. 2022, pp.35
- Accès au texte intégral et bibtex
-
Software
- titre
- Ribbit
- auteur
- Gabriel Radanne, Laure Gonnord, Thaïs Baudon
- article
- 2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩
- 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
-
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
-
2020
Conference papers
- titre
- Proving array properties using data abstraction
- auteur
- Julien Braine, Laure Gonnord
- article
- Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
- Accès au texte intégral et bibtex
-
- titre
- On optimizing scalar self-rebalancing trees
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel
- article
- COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
- Accès au texte intégral et bibtex
-
Reports
- titre
- On optimizing scalar self-rebalancing trees
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel
- article
- [Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
- 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
-
Reports
- titre
- A Compiler Algorithm to Guide Runtime Scheduling
- auteur
- Christophe Alias, Samuel Thibault, Laure Gonnord
- article
- [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
- Accès au texte intégral et bibtex
-
2018
Conference papers
- titre
- Practicing Domain-Specific Languages: From Code to Models
- auteur
- Laure Gonnord, Sébastien Mosser
- article
- 14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
- DOI
- DOI : 10.1145/3270112.3270116
- Accès au texte intégral et bibtex
-
- 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
-
- titre
- Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL)
- auteur
- Laure Gonnord, Sébastien Mosser
- article
- CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.1-4
- Accès au texte intégral et bibtex
-
Reports
- titre
- Semantic Array Dataflow Analysis
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
- article
- [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
- Accès au texte intégral et bibtex
-
- titre
- Semantic Polyhedral Model for Arrays and Lists
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel
- article
- [Research Report] INRIA. 2018
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Combining Range and Inequality Information for Pointer Disambiguation
- auteur
- Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
- article
- Science of Computer Programming, 2017
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Pointer Disambiguation via Strict Inequalities
- auteur
- Maroua Maalej, Vitor Paisante, Ramos Pedro, Laure Gonnord, Fernando Pereira
- article
- Code Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Contributions to program analysis: expressivity and scalability
- auteur
- Laure Gonnord
- article
- Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
- Accès au texte intégral et bibtex
-
Reports
- titre
- Static Analysis via Horn Encoding from synchronous Dataflow Programs
- auteur
- Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel
- article
- [Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
- Accès au texte intégral et bibtex
-
- titre
- Combining dataflow programming and polyhedral optimization, a case study
- auteur
- Romain Fontaine, Lionel Morel, Laure Gonnord
- article
- [Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- Cell morphing: from array programs to array-free Horn clauses
- auteur
- David Monniaux, Laure Gonnord
- article
- 23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom. pp.361-382, ⟨10.1007/978-3-662-53413-7_18⟩
- DOI
- DOI : 10.1007/978-3-662-53413-7_18
- Accès au texte intégral et bibtex
-
- titre
- Estimation of Parallel Complexity with Rewriting Techniques
- auteur
- Christophe Alias, Carsten Fuhs, Laure Gonnord
- article
- Workshop on Termination, Sep 2016, Obergurgl, Austria
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Range Analysis of Pointers
- auteur
- Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira
- article
- International Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
- Accès au texte intégral et bibtex
-
Reports
- titre
- Combining Range and Inequality Information for Pointer Disambiguation
- auteur
- Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
- article
- [Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
- Accès au texte intégral et bibtex
-
- titre
- Verifying Programs with Arrays and Lists
- auteur
- Julien Braine, Laure Gonnord, David Monniaux
- article
- [Internship report] ENS Lyon. 2016
- Accès au texte intégral et bibtex
-
2015
Conference papers
- titre
- Synthesis of ranking functions using extremal counterexamples
- auteur
- Laure Gonnord, David Monniaux, Gabriel Radanne
- article
- Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
- DOI
- DOI : 10.1145/2737924.2737976
- Accès au texte intégral et bibtex
-
Reports
- titre
- Do we still need new Alias Analyses?
- auteur
- Maroua Maalej, Laure Gonnord
- article
- [Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Abstract Acceleration in Linear Relation Analysis
- auteur
- Laure Gonnord, Peter Schrammel
- article
- Science of Computer Programming, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩
- DOI
- DOI : 10.1016/j.scico.2013.09.016
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Validation of Memory Accesses Through Symbolic Analyses
- auteur
- Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, Laure Gonnord
- article
- ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), Oct 2014, Portland, Oregon, United States. pp.791-809, ⟨10.1145/2660193.2660205⟩
- DOI
- DOI : 10.1145/2660193.2660205
- Accès au texte intégral et bibtex
-
- titre
- Real-World Loops are Easy to Predict: A Case Study
- auteur
- Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord
- article
- Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Rank: a tool to check program termination and computational complexity
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
- Accès au bibtex
-
Reports
- titre
- Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
- auteur
- Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Abstract Acceleration in Linear relation analysis (extended version)
- auteur
- Laure Gonnord, Peter Schrammel
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
- auteur
- Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
- article
- CSI Journal of Computing, 2012, 1 (4), pp.8:86--8:99
- Accès au bibtex
-
Conference papers
- titre
- SToP : Scalable Termination analysis of (C) Programs (tool presentation)
- auteur
- Guillaume Andrieu, Christophe Alias, Laure Gonnord
- article
- Tapas 2012, Sep 2012, Deauville, France
- Accès au bibtex
-
Reports
- titre
- Modular termination of C programs
- auteur
- Guillaume Andrieu, Christophe Alias, Laure Gonnord
- article
- [Research Report] RR-8166, INRIA. 2012
- Accès au texte intégral et bibtex
-
2011
Conference papers
- titre
- Using Bounded Model Checking to Focus Fixpoint Iterations
- auteur
- David Monniaux, Laure Gonnord
- article
- Static analysis symposium (SAS), Sep 2011, Venezia, Italy. pp.369-385, ⟨10.1007/978-3-642-23702-7_27⟩
- DOI
- DOI : 10.1007/978-3-642-23702-7_27
- Accès au texte intégral et bibtex
-
- titre
- A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
- auteur
- Benoit Combemale, Laure Gonnord, Vlad Rusu
- article
- Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
- Accès au texte intégral et bibtex
-
- titre
- Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
- auteur
- Abdoulaye Gamatié, Laure Gonnord
- article
- ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, ⟨10.1145/1967677.1967688⟩
- DOI
- DOI : 10.1145/1967677.1967688
- Accès au bibtex
-
2010
Conference papers
- titre
- Accelerated Invariant Generation for C Programs with Aspic and C2fsm
- auteur
- Paul Feautrier, Laure Gonnord
- article
- Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
- DOI
- DOI : 10.1016/j.entcs.2010.09.014
- Accès au texte intégral et bibtex
-
- titre
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
- DOI
- DOI : 10.1007/978-3-642-15769-1
- Accès au texte intégral et bibtex
-
Reports
- titre
- Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
- auteur
- Vlad Rusu, Laure Gonnord, Benoit Combemale
- article
- [Research Report] RR-7423, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- [Research Report] RR-7235, INRIA. 2010, pp.32
- Accès au texte intégral et bibtex
-
- titre
- Abstract acceleration in Linear relation analysis
- auteur
- Laure Gonnord, Nicolas Halbwachs
- article
- 2010
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Qinna: a component-based framework for runtime safe resource adaptation of embedded systems
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- Scalable Computing : Practice and Experience, 2009, 10 (3), pp.253-264
- Accès au bibtex
-
Conference papers
- titre
- Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
- Accès au texte intégral et bibtex
-
Reports
- titre
- Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson
- article
- [Research Report] 2009, pp.31
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Runtime resource assurance and adaptation with Qinna framework : a case study
- auteur
- Jean-Philippe Babau, Laure Gonnord
- article
- Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
- DOI
- DOI : 10.1109/IMCSIT.2008.4747307
- Accès au bibtex
-
Reports
- titre
- Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- [Research Report] RR-6565, INRIA. 2008
- Accès au texte intégral et bibtex
-
- titre
- Resource management with Qinna framework : the remote viewer case study
- auteur
- Laure Gonnord, Jean-Philippe Babau
- article
- [Technical Report] RR-6562, INRIA. 2008
- Accès au texte intégral et bibtex
-
2006
Journal articles
- titre
- Some ways to reduce the space dimension in polyhedra computations
- auteur
- Nicolas Halbwachs, David Merchat, Laure Gonnord
- article
- Formal Methods in System Design, 2006, 29 (1), pp.79-95. ⟨10.1007/s10703-006-0013-2⟩
- DOI
- DOI : 10.1007/s10703-006-0013-2
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Combining Widening and Acceleration in Linear Relation Analysis
- auteur
- Laure Gonnord, Nicolas Halbwachs
- article
- Static Analysis (SAS 2006), Aug 2006, Seoul, South Korea. pp.144-160, ⟨10.1007/11823230_10⟩
- DOI
- DOI : 10.1007/11823230_10
- Accès au texte intégral et bibtex
-
2003
Conference papers
- titre
- From Discrete Duration Calculus to Symbolic Automata
- auteur
- Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
- article
- Third International Workshop on Synchronous Languages, Applications, and Programs (SLAP 2004), Mar 2003, Barcelona, Spain. pp.3-18, ⟨10.1016/j.entcs.2006.02.022⟩
- DOI
- DOI : 10.1016/j.entcs.2006.02.022
- Accès au texte intégral et bibtex
-