 | 2010 |
|---|
| 6 |       | Andrew McCreight,
Tim Chevalier,
Andrew P. Tolmach:
A certified framework for compiling and executing garbage-collected languages.
ICFP 2010: 273-284 |
| 2009 |
|---|
| 5 | | Andrew McCreight:
Practical Tactics for Separation Logic.
TPHOLs 2009: 343-358 |
| 2008 |
|---|
| 4 | | Andrew McCreight,
Carsten Schürmann:
A Meta Linear Logical Framework.
Electr. Notes Theor. Comput. Sci. 199: 129-147 (2008) |
| 2007 |
|---|
| 3 | | Andrew McCreight,
Zhong Shao,
Chunxiao Lin,
Long Li:
A general framework for certifying garbage collectors and their mutators.
PLDI 2007: 468-479 |
| 2 | | Chunxiao Lin,
Andrew McCreight,
Zhong Shao,
Yiyun Chen,
Yu Guo:
Foundational Typed Assembly Language with Certified Garbage Collection.
TASE 2007: 326-338 |
| 2006 |
|---|
| 1 | | Vijay Menon,
Neal Glew,
Brian R. Murphy,
Andrew McCreight,
Tatiana Shpeisman,
Ali-Reza Adl-Tabatabai,
Leaf Petersen:
A verifiable SSA program representation for aggressive compiler optimization.
POPL 2006: 397-408 |
Data released under the ODC-BY 1.0 license — See also our legal information page