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 and her Habilitation in 2017 in Lyon, France. She currently holds a full permanent professor position at Grenoble INP, Esisar, Valence.

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, safety and security. She belongs to the CTSys team of the LCIS Laboratory (Esisar, Valence, France) and is external member of the CASH team of the LIP laboratory (ENS de Lyon, France).

Country:France
Affiliation:Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France
Research interests:Static analyses, Compilation, Safety, Security

Contributions

SOAP 2022 Program Co-Chair in Organizing Committee within the SOAP 2022-track
Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France in Program Committee within the SOAP 2022-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
ML 2021 Author of Isomorphisms are back! (short talk) within the ML 2021-track
SAS 2021 Author of Data Abstraction: A General Framework to Handle Program Verification of Data Structures within the SAS-track
GPCE 2021 Author of Compiling pattern matching to in-place modifications within the GPCE-track
CC 2021 Committee Member in Program Committee within the CC Research Papers-track
NSAD 2020 Author of Proving array properties using data abstraction within the NSAD-track
POPL 2021 Committee Member in Program Committee within the POPL-track
VMCAI 2019 Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
VMCAI 2017 Committee Member in Program committee
Committee Member in Organizing Committee
Session Chair of Numerical domains (part of VMCAI)
PLDI 2017 Committee Member in SRC Panel
PLDI 2015 Author of Synthesis of ranking functions using extremal counterexamples within the Research Papers-track
SPLASH 2014 Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track