Limin Jia

Department of Computer and Information Science
University of Pennsylvania

Office: 614 Levine Hall
Email: liminjia AT seas.upenn.edu

 
I'm a postdoc in the Computer and Information Science Department at the University of Pennsylvania. I am working with Steve Zdancewic on the SOL project.  

 

Research Interests
Programming languages, logic, program verification, type systems.
Publications
Drafts

AURA: A programming language for authorization and audit.
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr and Steve Zdancewic, April 2008. [PDF]

Linear Logic, Heap-shape Patterns and Imperative Programming.
Limin Jia and David Walker. [PDF]
Longer version appeared as Princeton University Technical Report TR-762-06, July 2006. [PDF]

Conference and Workshop Papers

Evidence-based Audit.
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak and Steve Zdancewic.
In Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF), June 2008. [PDF]
Long version appeared in Univ. of Pennsylvania Technical Report MS-CIS-08-09, April 2008. [PDF]

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. [PDF]
An earlier version appeared in Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), January 2006. [PDF]

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, Lecture Notes in Computer Science 3924, March 2006. [PDF]
Super short version appeared in 20th IEEE Symposium on Logic in Computer Science (LICS), short paper, June 2005. [PDF]
Longer version appeared as Princeton University Technical Report TR-738-05, October 2005. [PDF]

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. [PDF]
Longer version appeared as Princeton University Technical Report TR-724-05, March 2005. [PDF]

Modal Proofs as Distributed Programs (extended abstract).
Limin Jia and David Walker.
In Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Lecture Notes in Computer Science 2986, April 2004. [PDF]
Longer version appeared as Princeton University Technical Report TR-671-03, August 2003. [PDF]

Reasoning About Hierarchical Storage.
Amal Ahmed, Limin Jia and David Walker.
In Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS), June 2003. [PDF]

Thesis

Linear Logic and Imperative Programming.
Limin Jia.
Computer Science Department, Princeton University, January 2008. [PDF]