Laure Gonnord

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 16

Top Venues

CoRR

CGO

Sci. Comput. Program.

SAS

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Sébastien Michelland, Christophe Deleuze, Laure Gonnord
From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme. CC (2024)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. ACM Comput. Surv. 55 (10) (2023)
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
On Complexity Bounds and Confluence of Parallel Term Rewriting. CoRR (2023)
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
Analysing Parallel Complexity of Term Rewriting. CoRR (2022)
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
Analysing Parallel Complexity of Term Rewriting. LOPSTR (2022)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. CoRR (2022)
Paul Iannetta, Laure Gonnord, Gabriel Radanne
Compiling pattern matching to in-place modifications. GPCE (2021)
Julien Braine, Laure Gonnord, David Monniaux
Data Abstraction: A General Framework to Handle Program Verification of Data Structures. SAS (2021)
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
Static Analysis of Binary Code with Memory Indirections Using Polyhedra. VMCAI (2019)
Romain Fontaine, Laure Gonnord, Lionel Morel
Polyhedral Dataflow Programming: A Case Study. SBAC-PAD (2018)
Laure Gonnord, Sébastien Mosser
Practicing domain-specific languages: from code to models. MoDELS (Companion) (2018)
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
Combining range and inequality information for pointer disambiguation. Sci. Comput. Program. 152 (2018)
Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira
Pointer disambiguation via strict inequalities. CGO (2017)
Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
Symbolic range analysis of pointers. CGO (2016)
David Monniaux, Laure Gonnord
Cell Morphing: From Array Programs to Array-Free Horn Clauses. SAS (2016)
David Monniaux, Laure Gonnord
An encoding of array verification problems into array-free Horn clauses. CoRR (2015)
Laure Gonnord, David Monniaux, Gabriel Radanne
Synthesis of ranking functions using extremal counterexamples. PLDI (2015)
Laure Gonnord, Peter Schrammel
Abstract acceleration in linear relation analysis. Sci. Comput. Program. 93 (2014)
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
Validation of memory accesses through symbolic analyses. OOPSLA (2014)
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
Rank: A Tool to Check Program Termination and Computational Complexity. ICST Workshops (2013)
Benoît Combemale, Laure Gonnord, Vlad Rusu
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. ECMFA (2011)
David Monniaux, Laure Gonnord
Using Bounded Model Checking to Focus Fixpoint Iterations. SAS (2011)
Abdoulaye Gamatié, Laure Gonnord
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. LCTES (2011)
David Monniaux, Laure Gonnord
Using Bounded Model Checking to Focus Fixpoint Iterations CoRR (2011)
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. SAS (2010)
Paul Feautrier, Laure Gonnord
Accelerated Invariant Generation for C Programs with Aspic and C2fsm. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Laure Gonnord, Jean-Philippe Babau
Quantity of resource properties expression and runtime assurance for embedded systems. AICCSA (2009)
Laure Gonnord, Jean-Philippe Babau
Qinna: a component-based framework for runtime safe resource adaptation of embedded systems. Scalable Comput. Pract. Exp. 10 (3) (2009)
Laure Gonnord, Jean-Philippe Babau
Runtime resource assurance and adaptation with Qinna framework: A case study. IMCSIT (2008)
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
From Discrete Duration Calculus to Symbolic Automata. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Laure Gonnord, Nicolas Halbwachs
Combining Widening and Acceleration in Linear Relation Analysis. SAS (2006)
Nicolas Halbwachs, David Merchat, Laure Gonnord
Some ways to reduce the space dimension in polyhedra computations. Formal Methods Syst. Des. 29 (1) (2006)

Laure Gonnord.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laure Gonnord