Laure Gonnord

According to our database, Laure Gonnord authored at least 33 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Abstract Interpreters: A Monadic Approach to Modular Verification.

Sébastien Michelland, Yannick Zakowski, Laure Gonnord

Proc. ACM Program. Lang., 2024

On Complexity Bounds and Confluence of Parallel Term Rewriting.

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

Fundam. Informaticae, 2024

From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme.

Sébastien Michelland, Christophe Deleuze, Laure Gonnord

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

2023

Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types.

Thaïs Baudon, Gabriel Radanne, Laure Gonnord

Proc. ACM Program. Lang., August, 2023

A Survey on Parallelism and Determinism.

Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne

ACM Comput. Surv., 2023

2022

Analysing Parallel Complexity of Term Rewriting.

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2021

Data Abstraction: A General Framework to Handle Program Verification of Data Structures.

Julien Braine, Laure Gonnord, David Monniaux

Proceedings of the Static Analysis - 28th International Symposium, 2021

Compiling pattern matching to in-place modifications.

Paul Iannetta, Laure Gonnord, Gabriel Radanne

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2019

Static Analysis of Binary Code with Memory Indirections Using Polyhedra.

Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Combining range and inequality information for pointer disambiguation.

Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord

Sci. Comput. Program., 2018

Polyhedral Dataflow Programming: A Case Study.

Romain Fontaine, Laure Gonnord, Lionel Morel

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

Practicing domain-specific languages: from code to models.

Laure Gonnord, Sébastien Mosser

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017

Pointer disambiguation via strict inequalities.

Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

Contributions to program analysis: expressivity and scalability. ( Contributions aux analyses de programmes, expressivité, passage à l'échelle).

Laure Gonnord

, 2017

2016

Cell Morphing: From Array Programs to Array-Free Horn Clauses.

David Monniaux, Laure Gonnord

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Symbolic range analysis of pointers.

Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

2015

An encoding of array verification problems into array-free Horn clauses.

David Monniaux, Laure Gonnord

CoRR, 2015

Synthesis of ranking functions using extremal counterexamples.

Laure Gonnord, David Monniaux, Gabriel Radanne

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Abstract acceleration in linear relation analysis.

Laure Gonnord, Peter Schrammel

Sci. Comput. Program., 2014

Validation of memory accesses through symbolic analyses.

Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Rank: A Tool to Check Program Termination and Computational Complexity.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Using Bounded Model Checking to Focus Fixpoint Iterations.

David Monniaux, Laure Gonnord

Proceedings of the Static Analysis - 18th International Symposium, 2011

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems.

Abdoulaye Gamatié, Laure Gonnord

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics.

Benoît Combemale, Laure Gonnord, Vlad Rusu

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Accelerated Invariant Generation for C Programs with Aspic and C2fsm.

Paul Feautrier, Laure Gonnord

Proceedings of the Tools for Automatic Program AnalysiS, 2010

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Qinna: a component-based framework for runtime safe resource adaptation of embedded systems.

Laure Gonnord, Jean-Philippe Babau

Scalable Comput. Pract. Exp., 2009

Quantity of resource properties expression and runtime assurance for embedded systems.

Laure Gonnord, Jean-Philippe Babau

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Runtime resource assurance and adaptation with Qinna framework: A case study.

Laure Gonnord, Jean-Philippe Babau

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

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

PhD thesis, 2007

2006

Some ways to reduce the space dimension in polyhedra computations.

Nicolas Halbwachs, David Merchat, Laure Gonnord

Formal Methods Syst. Des., 2006

Combining Widening and Acceleration in Linear Relation Analysis.

Laure Gonnord, Nicolas Halbwachs

Proceedings of the Static Analysis, 13th International Symposium, 2006

2004

From Discrete Duration Calculus to Symbolic Automata.

Laure Gonnord, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Third International Workshop on Synchronous Languages, 2004