Sandrine Blazy

Sandrine Blazy

Institut de recherche en informatique et systèmes aléatoires - Rennes / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4412124
Institute for Research in Computer Science and Random Systems
person_outline Sandrine Blazy's MOST POPULAR ARTICLES
1-) Mechanized semantics for the Clight subset of the C languageS Blazy, X LeroyJournal of Automated Reasoning 43 (3), 263-288, 20092472009
2-) Program logics for certified compilersAW AppelCambridge University Press, 20142372014
3-) Formal verification of a C compiler front-endS Blazy, Z Dargaye, X LeroyFM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 20062362006
4-) Formal verification of a C-like memory model and its uses for verifying program transformationsX Leroy, S BlazyJournal of Automated Reasoning 41, 1-31, 20082362008
5-) A formally-verified C static analyzerJH Jourdan, V Laporte, S Blazy, X Leroy, D PichardieAcm Sigplan Notices 50 (1), 247-259, 20152222015