Laure Gonnord

Registered user since Fri 20 Feb 2015

Name: Laure Gonnord

Bio: Laure Gonnord received her PhD degree in computer science from the University Joseph Fourier (Grenoble, France), in 2007. She currently holds an assistant professor position at University Lyon I/UCBL, France. She got her Habilitation in 2017.

Her main research interests lie in the design of static analyses, with emphasis on the automatic synthesis of numerical and memory invariants and application in compilation (scheduling) and termination proofs. She belongs to the CASH team of the LIP laboratory (ENS de Lyon, France).

Country: France

Affiliation: University of Lyon & LIP, France

Personal website:

Research interests: Static analyses, Compilation


CC 2021Committee Member in Program Committee within the CC Research Papers-track
NSAD 2020Author of Proving array properties using data abstraction within the NSAD-track
POPL 2021Committee Member in Program Committee within the Research Papers-track
VMCAI 2019Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
VMCAI 2017Committee Member in Program committee
Committee Member in Organizing Committee
Session Chair of Numerical domains (part of VMCAI)
PLDI 2017Committee Member in SRC Panel
PLDI 2015Author of Synthesis of ranking functions using extremal counterexamples within the Research Papers-track
SPLASH 2014Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track