 | 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 |
