Sandrine Blazy

Registered user since Tue 22 Mar 2016

Name: Sandrine Blazy

Bio: I am professor in the computer science department of the University of Rennes 1, where I am in charge of the research master in computer science. I am a member of CELTIQUE, a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory.

My research activities concern the formal verification using the Coq proof assistant of program transformations and semantic properties of programming languages, such as those found in the CompCert C compiler and the Verasco static analyzer. A prime application domain is software security.

Country: France

Affiliation: Univ Rennes- IRISA

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

Research interests: Formal verification, semantics of programming languages, compilers, static analysis, software security

Contributions

PriSC 2020Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
APLAS 2019Ordinary PC member in Program Committee within the Research Papers-track
CPP 2019Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track
ESOP 2019Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
CPP 2018Committee Member in Program Committee within the CPP 2018-track
ICFP 2018Committee Member in Program Committee within the Research Papers-track
GPCE 2017Committee Member in Program Committee within the GPCE 2017-track
VMCAI 2017Author of Structuring Abstract Interpreters through State and Value Abstractions within the VMCAI-track
CoqPL 2017Session Chair of Midday Session (part of CoqPL 2017)
Program Co-Chair in Program Committee within the CoqPL 2017-track
PLDI 2017Committee Member in SRC Panel
GPCE 2016Committee Member in Program Committee within the GPCE-track
ICFP 2016Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track
CPP 2016Committee Member in Program Committee within the CPP-track
Author of Formal Verification of Control-flow Graph Flattening within the CPP-track
SPLASH 2016Session 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