Publications by Limin Jia

2008 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming ICFP • 27-38
Jia L, Vaughan JA, Mazurak K, Zhao J, Zarko L, Schorr J, Zdancewic S

2008 • ACM Sigplan Notices • 43(9):27-38
Jia L, Vaughan JA, Mazurak K, Zhao J, Zarko L, Schorr J, Zdancewic S

2008 • Proceedings - IEEE Computer Security Foundations Symposium • 177-191
Vaughan JA, Jia L, Mazurak K, Zdancewic S

2006 101-110
Perry F, Jia L, Walker D

2006 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3924:131-145
Jia LM, Walker D

2005 • Proceedings - Symposium on Logic in Computer Science • 407-416
Jia LM, Spalding F, Walker D, Glew N

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2986:219-233
Jia LM, Walker D

2003 • Proceedings - Symposium on Logic in Computer Science • 33-44
Ahmed A, Jia LM, Walker D

• Proceedings on Privacy Enhancing Technologies • 2026(1):338-365
McCall M, Weinshel B, Cai K, Li Y, Zeng E, Manohar D, Bauer L, Jia L, Tian Y