Expressing Heap-shape Contracts in Linear Logic.. Frances Perry, Limin Jia and David Walker. In Proceedings of the 5th International Conference on Generative Programming and Component Engineering , (GPCE), October 2006.

ILC: A Foundation for Automated Reasoning About Pointer Programs.. Limin Jia and David Walker. In Programming Languages and Systems: 15th European Symposium on Programming, (ESOP 2006), March 2006.

Certifying Compilation for a Language with Stack Allocation.. Limin Jia, Frances Spalding, David Walker and Neal Glew. In Proceedings of the 20th IEEE Symposium on Logic in Computer Science(LICS), June 2005.

Dynamic Typing with Dependent Types (extended abstract). Xinming Ou, Gang Tan, Yitzhak Mandelbaum and David Walker. In the 3rd IFIP International Conference on Theoretical Computer Science, August, 2004.

Modal Proofs as Distributed Programs (extended abstract). Limin Jia and David Walker. In Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, April 2004.

An Effective Theory of Type Refinements.  Yitzhak Mandelbaum, David Walker and Robert Harper.  In Proceedings of ACM SIGPLAN International Conference on Functional Programming (ICFP), August 2003.

Reasoning about Hierarchical Storage. Amal Ahmed, Limin Jia and David Walker. In Proceedings of Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS), June 2003. 

Resource Usage Analysis via Scoped Methods. Gang Tan, Xinming Ou and David Walker. Foundations of Object-Oriented Languages, January 2003. 

The Logical Approach to Stack Typing. Amal Ahmed and David Walker. ACM Types in Language Design and Implementation, January 2003.