Sandrine Blazy

Publications

662

Citations

H-Index

2002

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Université de Rennes

Centre National de la Recherche Scientifique

École Normale Supérieure de Rennes

Institut national de recherche en sciences et technologies du numérique

Sandrine Blazy is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, software analysis, and formal methods.

ORCID

Top concepts

EngineeringSoftware AnalysisComputer ScienceProgram AnalysisFormal MethodsVerificationSoftware TestingFormal VerificationSoftware EngineeringComputer Engineering

Publications per year

2002–2023

Publications

Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations

Xavier Leroy, Sandrine Blazy · Journal of Automated Reasoning · 2008 · 150 citations · Full text

Program Transformations, Program Checking, Engineering +15

Mechanized Semantics for the Clight Subset of the C Language

Sandrine Blazy · 2009 · 131 citations

A Formally-Verified C Static Analyzer

Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy et al. · 2014 · 121 citations · Full text

Program Checking, Engineering, Verification +19

Formally verified speculation and deoptimization in a JIT compiler

Aurèle Barrière, Sandrine Blazy, Olivier Flückiger et al. · Proceedings of the ACM on Programming Languages · 2021 · 35 citations · Full text

Engineering, Compiler Technology, Verification +17

Software maintenance: an analysis of industrial needs and constraints

M. Haziza, J.F. Voidrot, Edward O. Minor et al. · 2003 · 32 citations · Full text

Software Maintenance, Engineering, Industrial Engineering +18

Rows per page

1–5 of 17