|
Research Interests
Programming languages, type systems, logic,
program verification, language-based security.
|
 |
AURA: A programming language for authorization and audit.
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak,
Jianzhou Zhao, Luke Zarko, Joseph Schorr and Steve
Zdancewic.
In Proceedings of the 2008 SIGPLAN International
Conference on Functional Programming (ICFP), September 2008.
[PDF]
Long version appeared as Univ. of Pennsylvania Technical
Report MS-CIS-08-10, July 2008. [PDF]
|
 |
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 as 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 the 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]
Long 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]
Long 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]
Long 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]
|
|