Reports for Author "Jia, Limin"
- TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
- TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (2006)
- TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (2005)
- TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
- TR-671-03 - Modal Proofs As Distributed Programs (2003)