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

Personal website:https://people.irisa.fr/Sandrine.Blazy/

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