Sandrine Blazy is a French computer scientist known for her research in the formal verification of compilers, and especially for her work as a developer of CompCert, a compiler for a large subset of C99 that is "the first industrial-strength compiler with a mechanically checked proof of correctness".[1] She is a professor at the University of Rennes and deputy director of IRISA, the Institut de recherche en informatique et systèmes aléatoires of the University of Rennes and the French National Centre for Scientific Research.
^Cite error: The named reference acm was invoked but never defined (see the help page).
SandrineBlazy is a French computer scientist known for her research in the formal verification of compilers, and especially for her work as a developer...
Blazy is a surname. Notable people with the name include: Kent Blazy, American country music songwriter SandrineBlazy, French computer scientist Philippe...
Michael Norrish, Thomas Sewell, Simon Winwood 2021 CompCert Xavier Leroy, SandrineBlazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer...
Cormand presented himself in Seine-Maritime's 4th, deputy national secretary Sandrine Rousseau in Pas-de-Calais's 9th, and spokesperson Julien Bayou in Paris's...
from 1997 to 2012 Support Laurent Baumel, Philippe Baumel, Jean-Pierre Blazy, Kheira Bouziane-Laroussi, Henri Cabanel, Laurent Cathala, Jérôme Durain...
1962 Nantua Rhône-Alpes France Val d'Oise's 9th constituency Jean-Pierre Blazy PS Nov 24, 1949 Gonesse Île-de-France France Val d'Oise's 10th constituency...