Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Limin's Homepage
[go: Go Back, main page]
I am currently a postdoc at the University of Pennsylvania. Here is my new page.
 

Limin Jia

Room 418A
Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08544

Phone: (609) 258-1763
Email:ljia@cs.princeton.edu

  
I was a graduate student in the Computer Science Department at Princeton University. My advisor was David Walker. I was a member of the Plato research group.  

 

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

Linear Logic, Heap-shape Patterns and Imperative Programming. Limin Jia and David Walker.

Conference Papers

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, Lecture Notes in Computer Science 3924, 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.

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.

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.

Tech Reports

Linear Logic, Heap-shape Patterns and Imperative Programming. Limin Jia and David Walker. Princeton University Technical Report TR-762-06. July 2006.
ILC: A Foundation for Automated Reasoning About Pointer Programs. Limin Jia and David Walker. Princeton University Technical Report TR-738-05. October 2005.
Certifying Compilation for a Language with Stack Allocation. Limin Jia, Frances Spalding, David Walker and Neal Glew. Princeton University Technical Report TR-724-05. March 2005.

Modal Proofs as Distributed Programs. Limin Jia and David Walker. Princeton University Technical Report TR-671-03. August 2003.
Other

Asserting Memory Shape Using Linear Logic. Frances Spalding and Limin Jia. In Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Jan 2006.
A Refined Proof Theory for Reasoning About Separation. Limin Jia and David Walker. In 20th IEEE Symposium on Logic in Computer Science (LICS), short paper. June 2005.
Thesis

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