conf.researchr.org / David Monniaux

Registered user since Thu 11 Jun 2020

Name:David Monniaux
Country:France
Affiliation:CNRS/VERIMAG
Personal website:http://www-verimag.imag.fr/~monniaux/
Research interests:programming languages; static analysis; model checking; compilers; assisted proof

Contributions

LCTES 2023 Programme Committee in Program Committee within the LCTES 2023-track
CPP 2022 Author of Formally Verified Superblock Scheduling within the CPP 2022-track
SAS 2021 Author of Data Abstraction: A General Framework to Handle Program Verification of Data Structures within the SAS-track
LCTES 2021 Author of Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion within the LCTES 2021-track
SPLASH 2020 Author of Certified and efficient instruction scheduling and application to interlocked VLIW processors within the OOPSLA Artifacts-track