Publications by Limin Jia

2012
Aljuraidan J, Fragkaki E, Bauer L, Jia L, Miyake Y, Fukushima K, Kiyomoto S

2011
Garg D, Jia L, Datta A

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6722:334-348
Wang A, Talcott C, Jia L, Loo BT, Scedrov A

2011 440-441
Ren Y, Zhou W, Wang A, Jia L, Gurney AJT, Loo BT, Rexford J

2011 • Computer Communication Review • 41(4):440-441
Ren Y, Zhou W, Wang A, Jia L, Gurney AJT, Loo BT, Rexford J

2011 • PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING • 125-136
Nigam V, Jia L, Loo BT, Scedrov A

2011
Fragkaki E, Bauer L, Jia L, Swasey D

2011 • IEEE Security and Privacy • 9(3):26-32
Datta A, Franklin J, Garg D, Jia L, Kaynar D

2011 • Proceedings of the ACM Conference on Computer and Communications Security • 151-162
Garg D, Jia L, Datta A

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7093:1-+
Datta A, Blocki J, Christin N, DeYoung H, Garg D, Jia L, Kaynar D, Sinha A

2010 • Proceedings - IEEE Computer Security Foundations Symposium • 154-168
Bauer L, Jia L, Sharma D

2010 • ACM Sigplan Notices • 45(1):275-286
Jia L, Zhao J, Sjoberg V, Weirich S

2010 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 275-286
Jia L, Zhao J, Sjoeberg V, Weirich S

2010 • Proceedings of the ACM Conference on Computer and Communications Security • 73-82
DeYoung H, Garg D, Jia L, Kaynar D, Datta A

2010
DeYoung H, Garg D, Jia L, Kaynar D, Datta A

2010
DeYoung H, Garg D, Jia L, Kaynar D, Datta A

2009 17-29
Jia L, Zdancewic S

2009 • ACM Sigplan Notices • 44(8):7-19
Jia L, Zdancewic S

2009 • ACM Sigplan Notices • 44(8):4-4
Jia L, Zdancewic S

2009 • PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING • 243-254
Zhu KQ, Dantas DS, Fisher K, Jia L, Mandelbaum Y, Pai V, Walker D

2009 • SACMAT'09: PROCEEDINGS OF THE 14TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES • 43-52
Bauer L, Jia L, Reiter MK, Swasey D

2008 • ACM Sigplan Notices • 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 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 • Proceedings - IEEE Computer Security Foundations Symposium • 177-191
Vaughan JA, Jia L, Mazurak K, Zdancewic S