Conference ILC: A foundation for automated reasoning about pointer programs 2006 • Lecture Notes in Computer Science • 3924:131-145 Jia LM, Walker D
Conference Certifying compilation for a language with stack allocation 2005 • Proceedings - Symposium on Logic in Computer Science • 407-416 Jia LM, Spalding F, Walker D, Glew N
Chapter Modal proofs as distributed programs 2004 • Lecture Notes in Computer Science • 2986:219-233 Jia LM, Walker D
Conference Reasoning about hierarchical storage 2003 • Proceedings - Symposium on Logic in Computer Science • 33-44 Ahmed A, Jia LM, Walker D
