Andrew McCreight

According to our database, Andrew McCreight authored at least 6 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A certified framework for compiling and executing garbage-collected languages.

Andrew McCreight, Tim Chevalier, Andrew P. Tolmach

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Practical Tactics for Separation Logic.

Andrew McCreight

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2007

Foundational Typed Assembly Language with Certified Garbage Collection.

Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A general framework for certifying garbage collectors and their mutators.

Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

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

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2004

A Meta Linear Logical Framework.

Andrew McCreight, Carsten Schürmann

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004