|
 
|
Andrew Appel
Publications
2010
-
[BRA10]
S. Blazy, B. Robillard, A. Appel.
"Formal Verification of Coalescing Graph-Coloring Register Allocation",
ESOP'10, European Symposium On Programming, Paphos (Chypre),
January 2010,
pp.145-164,
Series LNCS,
Conférence Internationale avec comité de lecture
2009
-
[BRA09]
S. Blazy, B. Robillard, A. Appel.
"Formal Verification of Coalescing Graph-Coloring Register Allocation",
Date de dépot: 2009/01/01,
Nb pages 32 pages,
(Tech. Rep.: CEDRIC-09-1832)
Rapport Scientifique
2007
- [AB07] A. Appel, S. Blazy. "Separation logic for small-step Cminor (extended version)", Date de dépot: 2007/01/01, Nb pages 29 pages, (Tech. Rep.: CEDRIC-07-1358)
