Andrew McCreight

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
A certified framework for compiling and executing garbage-collected languages. ICFP (2010)
Andrew McCreight
Practical Tactics for Separation Logic. TPHOLs (2009)
Andrew McCreight, Carsten Schürmann
A Meta Linear Logical Framework. Electron. Notes Theor. Comput. Sci. 199 (2008)
Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo
Foundational Typed Assembly Language with Certified Garbage Collection. TASE (2007)
Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li
A general framework for certifying garbage collectors and their mutators. PLDI (2007)
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)