Laure Gonnord

43 papers A* 1A 3B 10C 4Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2025 C conf
A Lean-based Language for Teaching Proof in High School.
CICM
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
2024 J jnl
Abstract Interpreters: A Monadic Approach to Modular Verification.
Proc. ACM Program. Lang.
Sébastien Michelland, Yannick Zakowski, Laure Gonnord
2024 B conf
From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme.
CC
Sébastien Michelland, Christophe Deleuze, Laure Gonnord
2024 J jnl
On Complexity Bounds and Confluence of Parallel Term Rewriting.
Fundam. Informaticae
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
2024 — conf
Proof Assistants for Teaching: a Survey.
ThEdu@CADE
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
2023 J jnl
A Survey on Parallelism and Determinism.
ACM Comput. Surv.
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
2023 J jnl
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types.
Proc. ACM Program. Lang.
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
2023 J jnl
On Complexity Bounds and Confluence of Parallel Term Rewriting.
CoRR
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
2022 J jnl
A Survey on Parallelism and Determinism.
CoRR
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
2022 C conf
Analysing Parallel Complexity of Term Rewriting.
LOPSTR
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
2022 J jnl
Analysing Parallel Complexity of Term Rewriting.
CoRR
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
2022 — ed.
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022
SOAP@PLDI
Laure Gonnord, Laura Titolo
2021 B conf
Compiling pattern matching to in-place modifications.
GPCE
Paul Iannetta, Laure Gonnord, Gabriel Radanne
2021 B conf
Data Abstraction: A General Framework to Handle Program Verification of Data Structures.
SAS
Julien Braine, Laure Gonnord, David Monniaux
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — conf
Proving array properties using data abstraction.
NSAD@SAS
Julien Braine, Laure Gonnord
2019 B conf
Static Analysis of Binary Code with Memory Indirections Using Polyhedra.
VMCAI
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
2018 J jnl
Combining range and inequality information for pointer disambiguation.
Sci. Comput. Program.
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
2018 C conf
Polyhedral Dataflow Programming: A Case Study.
SBAC-PAD
Romain Fontaine, Laure Gonnord, Lionel Morel
2018 — conf
Practicing domain-specific languages: from code to models.
MoDELS (Companion)
Laure Gonnord, Sébastien Mosser
2017 — book
Contributions to program analysis: expressivity and scalability. ( Contributions aux analyses de programmes, expressivité, passage à l'échelle).
Laure Gonnord
2017 A conf
Pointer disambiguation via strict inequalities.
CGO
Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira
2016 B conf
Cell Morphing: From Array Programs to Array-Free Horn Clauses.
SAS
David Monniaux, Laure Gonnord
2016 A conf
Symbolic range analysis of pointers.
CGO
Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
2015 J jnl
An encoding of array verification problems into array-free Horn clauses.
CoRR
David Monniaux, Laure Gonnord
2015 A* conf
Synthesis of ranking functions using extremal counterexamples.
PLDI
Laure Gonnord, David Monniaux, Gabriel Radanne
2014 J jnl
Abstract acceleration in linear relation analysis.
Sci. Comput. Program.
Laure Gonnord, Peter Schrammel
2014 A conf
Validation of memory accesses through symbolic analyses.
OOPSLA
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
2013 — conf
Rank: A Tool to Check Program Termination and Computational Complexity.
ICST Workshops
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
2011 B conf
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics.
ECMFA
Benoît Combemale, Laure Gonnord, Vlad Rusu
2011 B conf
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems.
LCTES
Abdoulaye Gamatié, Laure Gonnord
2011 J jnl
Using Bounded Model Checking to Focus Fixpoint Iterations
CoRR
David Monniaux, Laure Gonnord
2011 B conf
Using Bounded Model Checking to Focus Fixpoint Iterations.
SAS
David Monniaux, Laure Gonnord
2010 — conf
Accelerated Invariant Generation for C Programs with Aspic and C2fsm.
TAPAS@SAS
Paul Feautrier, Laure Gonnord
2010 B conf
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.
SAS
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
2009 J jnl
Qinna: a component-based framework for runtime safe resource adaptation of embedded systems.
Scalable Comput. Pract. Exp.
Laure Gonnord, Jean-Philippe Babau
2009 C conf
Quantity of resource properties expression and runtime assurance for embedded systems.
AICCSA
Laure Gonnord, Jean-Philippe Babau
2008 — conf
Runtime resource assurance and adaptation with Qinna framework: A case study.
IMCSIT
Laure Gonnord, Jean-Philippe Babau
2007 — —
Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires. (Abstract Acceleration to improve precision in Linear Relation Analysis).
Laure Gonnord
2006 B conf
Combining Widening and Acceleration in Linear Relation Analysis.
SAS
Laure Gonnord, Nicolas Halbwachs
2006 J jnl
Some ways to reduce the space dimension in polyhedra computations.
Formal Methods Syst. Des.
Nicolas Halbwachs, David Merchat, Laure Gonnord
2004 — conf
From Discrete Duration Calculus to Symbolic Automata.
SLAP
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond