Sandrine Blazy
发表
Xavier Leroy,
Sandrine Blazy,
Gordon Stewart,
2012
.
X. Leroy,
Sandrine Blazy,
2017
.
Sandrine Blazy,
Florent Saudel,
F. Besson,
2017
.
Sandrine Blazy,
T. Jensen,
2019
.
Andrew W. Appel,
Aquinas Hobor,
Robert Dockins,
2014
.
Sandrine Blazy,
Régine Laleau,
Frédéric Gervais,
2002
.
Sandrine Blazy,
B. Robillard,
Éric Soutif,
2008
.
Sandrine Blazy,
Benoît Robillard,
2008
.
Sandrine Blazy,
Sylvie Boldo,
F. Pottier,
2017
.
Zaynah Dargaye,
Tahina Ramananandro,
Jean-Baptiste Tristan,
2007
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Xavier Leroy,
Jacques-Henri Jourdan,
Sandrine Blazy,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Sandrine Blazy,
Pierre Castéran,
Hugo Herbelin,
2017
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Sandrine Blazy,
2014
.
Sandrine Blazy,
E. Besson,
Pierre Wilke,
2015
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Arthur Charguéraud,
Hervé Grall,
2007
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Andrew W. Appel,
Xavier Leroy,
Aquinas Hobor,
2014
.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
Pierre Courtieu,
Xavier Leroy,
Jacques-Henri Jourdan,
2011
.
Sandrine Blazy,
2008
.
Xavier Leroy,
Aquinas Hobor,
Robert Dockins,
2014
.
Sandrine Blazy,
Sandrine Blazy,
2000,
Tech. Sci. Informatiques.
CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2018
.
Xavier Leroy,
Jacques-Henri Jourdan,
David Pichardie,
2015,
POPL.
Sandrine Blazy,
Philippe Facon,
Sandrine Blazy,
1993,
CAiSE.
Andrew W. Appel,
Sandrine Blazy,
Benoît Robillard,
2010,
ESOP.
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2016
.
Marsha Chechik,
Sandrine Blazy,
Sandrine Blazy,
2016,
Lecture Notes in Computer Science.
Sandrine Blazy,
Boris Yakobowski,
David Bühler,
2017,
VMCAI.
David Pichardie,
Sandrine Blazy,
Olivier Flückiger,
2020,
Proc. ACM Program. Lang..
David Pichardie,
Sandrine Blazy,
Alix Trieu,
2019,
ESORICS.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2015,
CPP.
Sandrine Blazy,
Philippe Facon,
Sandrine Blazy,
1996,
Dagstuhl Seminar on Partial Evaluation.
Sandrine Blazy,
M. Haziza,
J. F. Voidrot,
1992,
Proceedings Conference on Software Maintenance 1992.
Andy King,
Sandrine Blazy,
Jael Kriener,
2013,
PPDP.
Sandrine Blazy,
Benoît Robillard,
Sandrine Blazy,
2009,
LCTES '09.
Sandrine Blazy,
Benoit Robillard,
Sandrine Blazy,
2009,
LCTES 2009.
Sandrine Blazy,
Stéphanie Riaud,
Sandrine Blazy,
2014,
CODASPY '14.
Xavier Leroy,
Sandrine Blazy,
X. Leroy,
2008,
Journal of Automated Reasoning.
Xavier Leroy,
Sandrine Blazy,
X. Leroy,
2009,
Journal of Automated Reasoning.
Benjamin Grégoire,
David Pichardie,
Sandrine Blazy,
2019
.
X. Leroy,
Sandrine Blazy,
2009,
Journal of automated reasoning.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2019,
Journal of Automated Reasoning.
Sandrine Blazy,
Rémi Hutin,
Sandrine Blazy,
2019,
CPP.
Sandrine Blazy,
Alix Trieu,
Sandrine Blazy,
2016,
CPP.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2015,
ITP.
Sandrine Blazy,
Frédéric Besson,
Pierre Wilke,
2014,
APLAS.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2014,
Journal of Automated Reasoning.
Roberto Giacobazzi,
Sandrine Blazy,
R. Giacobazzi,
2012
.
X. Leroy,
Sandrine Blazy,
Xavier Leroy,
2008,
Journal of Automated Reasoning.
Andrew W. Appel,
Sandrine Blazy,
A. Appel,
2007,
TPHOLs.
Xavier Leroy,
Zaynah Dargaye,
Sandrine Blazy,
2006,
FM.
Sandrine Blazy,
Thomas P. Jensen,
Frédéric Besson,
2019,
ESOP.
Xavier Leroy,
Daniel Kästner,
Sandrine Blazy,
2017
.
Sandrine Blazy,
Philippe Facon,
Sandrine Blazy,
1994,
Int. J. Softw. Eng. Knowl. Eng..
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2019
.
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Andrew W. Appel,
Aquinas Hobor,
Lennart Beringer,
2014
.
Sandrine Blazy,
David Pichardie,
Jean-Christophe Léchenet,
2020,
IJCAR.
G. Barthe,
B. Grégoire,
Sandrine Blazy,
2019,
IACR Cryptol. ePrint Arch..
David Pichardie,
Delphine Demange,
Sandrine Blazy,
2015,
ITP.
X. Leroy,
Sandrine Blazy,
David Pichardie,
2015,
POPL.
David Pichardie,
Sandrine Blazy,
Vincent Laporte,
2013,
SAS.
Sandrine Blazy,
David Pichardie,
A. Maroneze,
2013,
VSTTE.
David Pichardie,
Sandrine Blazy,
André Oliveira Maroneze,
2014,
WCET.
Marc Pantel,
Jean Souyris,
Sandrine Blazy,
2012
.
Sandrine Blazy,
Thomas Sirvent,
Stéphanie Riaud,
2015,
2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM).
Sandrine Blazy,
A. King,
J. Kriener,
2013
.
David Pichardie,
Sandrine Blazy,
Christine Paulin-Mohring,
2013,
Lecture Notes in Computer Science.
Gilles Barthe,
David Pichardie,
Sandrine Blazy,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Sandrine Blazy,
Sandrine Blazy,
2007
.
Sandrine Blazy,
Sandrine Blazy,
2000,
Automated Software Engineering.