Write a Blog >>
Sandrine Blazy

Registered user since Tue 22 Mar 2016

Name:Sandrine Blazy

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.

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


CoqPL 2020 Towards Formally Verified Just-in-Time compilation
POPL 2020 Formal Verification of a Constant-Time Preserving C Compiler
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
A CompCert Compiler that Preserves Cryptographic Constant-time
Show activities from other conferences

POPL 2020-profile
View general profile