Andrew McCreight
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICFP | A certified framework for compiling and executing garbage-collected languages. | Andrew McCreight, Tim Chevalier, Andrew P. Tolmach |
| 2007 | PLDI | A general framework for certifying garbage collectors and their mutators. | Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li |
| 2007 | TASE | Foundational Typed Assembly Language with Certified Garbage Collection. | Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo |
| 2006 | POPL | A verifiable SSA program representation for aggressive compiler optimization. | Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |