Sandrine Blazy

Registered user since Tue 22 Mar 2016

Name:Sandrine Blazy
Bio:

I am professor professor of computer science at the University of Rennes. My research interests include semantics, theorem proving, static analysis, verified compilation and software security.

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

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
POPL 2022 Committee Member in Program Committee within the POPL-track
TyDe 2020 Committee Member in Program Committee within the TyDe 2020-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
CoqPL 2020 Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track
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
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-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)
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
CPP 2019 Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track
ESOP 2019 Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
ICFP 2018 Committee Member in Program Committee within the Research Papers-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
VMCAI 2017 Author of Structuring Abstract Interpreters through State and Value Abstractions within the VMCAI-track
CoqPL 2017 Session Chair of Midday Session (part of CoqPL 2017)
Program Co-Chair in Program Committee within the CoqPL 2017-track
PLDI 2017 Committee Member in SRC Panel
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
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