Sandrine Blazy

Registered user since Tue 22 Mar 2016

Name:Sandrine Blazy
Bio:

I am a professor professor of computer science at the University of Rennes. My research interests focus on the development of trustworthy software using deductive verification

Country:France
Affiliation:University of Rennes
Research interests:Formal verification, semantics of programming languages, compilers, static analysis, software security

Contributions

CPP 2024 PC Chair in Program Committee within the CPP 2024-track
PC Chair in Organizing Committee within the CPP 2024-track
POPL 2023 Author of Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler within the POPL-track
CPP 2023 Author of Mechanised Semantics for Gated Static Single Assignment within the CPP 2023-track
Keynote Speaker of CompCert: a journey through the landscape of mechanized semantics for verified compilation within the CPP 2023-track
ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
PLDI 2022 Author of (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler within the SIGPLAN Track-track
POPL 2022 Committee Member in Program Committee within the POPL-track
POPL 2021 Author of Formally Verified Speculation and Deoptimization in a JIT Compiler within the POPL-track
GPCE 2020 Committee Member in Program Committee within the GPCE-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
TyDe 2020 Committee Member in Program Committee within the TyDe 2020-track
CoqPL 2020 Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track
POPL 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Verification in Proof Assistants (part of Research Papers)
PriSC 2020 Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
Author of A CompCert Compiler that Preserves Cryptographic Constant-time within the Principles of Secure Compilation 2020-track
APLAS 2019 Session Chair of Language Design and Implementation (part of Research Papers)
Author of A Constant-time Preserving C Compiler within the APLAS NIER-track
Ordinary PC member in Program Committee within the Research Papers-track
ESOP 2019 Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
CPP 2019 Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track
ICFP 2018 Committee Member in Program Committee within the Research Papers-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
PLDI 2017 Committee Member in SRC Panel
CoqPL 2017 Session Chair of Midday Session (part of CoqPL 2017)
Program Co-Chair in Program Committee within the CoqPL 2017-track
VMCAI 2017 Author of Structuring Abstract Interpreters through State and Value Abstractions within the VMCAI-track
SPLASH 2016 Session Chair of Session 3 (part of PLMW)
Session Chair of Session 1 (part of PLMW)
Session Chair of Reception (part of PLMW)
PLMW Co-Chair in Organizing Committee within the PLMW-track
GPCE 2016 Committee Member in Program Committee within the GPCE-track
ICFP 2016 Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track
CPP 2016 Committee Member in Program Committee within the CPP-track
Author of Formal Verification of Control-flow Graph Flattening within the CPP-track