GPCE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
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
Research interests:Static analyses, Compilation

Contributions

SAS 2021 Data Abstraction: A General Framework to Handle Program Verification of Data Structures
GPCE 2021 Compiling pattern matching to in-place modifications
Show activities from other conferences

SPLASH 2021-profile
View general profile