Publications by Limin Jia

2017
McCall M, Loh LK, Jia L

2017 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 203-218
Chen C, Lehri HT, Loh LK, Alur A, Jia L, Loo BT, Zhou W

2017 • PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON WORLD WIDE WEB (WWW'17) • 1501-1510
Surbatovich M, Aljuraidan J, Bauer L, Das A, Jia L

2017 • Lecture Notes in Computer Science • 10204:3-25
Rafnsson W, Jia L, Bauer L

2016 • ACM Sigplan Notices • 51(1):582-594
Jia L, Gommerstadt H, Pfenning F

2016 • ACM Sigplan Notices • 51(1):582-594
Jia L, Gommerstadt H, Pfenning F

2016 • PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM • 87-104
Vasudevan A, Chaki S, Maniatis P, Jia L, Datta A

2015 • Proceedings of the Computer Security Foundations Workshop • 512-525
Jia L, Sen S, Garg D, Datta A

2015 • Logical Methods in Computer Science • 11(4):
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2015
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2015 • PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015) • 79-90
Chen C, Loh LK, Jia L, Zhou W, Loo BT

2015 • Proceedings of the ACM Conference on Computer and Communications Security • 1130-1143
Chowdhury O, Garg D, Jia L, Datta A

2015
Chowdhury O, Garg D, Jia L, Datta A

2015
Jia L, Sen S, Garg D, Datta A

2015
Jia L, Gommerstadt H, Pfenning F

2015 • Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS 2015
Clarkson M, Jia L

2015 • Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS 2015
Clarkson M, Jia L

2015 • 22ND ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2015)
Bauer L, Cai S, Jia L, Passaro T, Stroucken M, Tian Y

2014 • Lecture Notes in Computer Science • 8461:117-132
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2014 • 2014 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS) • 184-192
Bauer L, Cai S, Jia L, Passaro T, Tian Y

2014 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 1-6
Klieber W, Flynn L, Bhosale A, Jia L, Bauer L

2014 • Lecture Notes in Computer Science • 8564:19-36
Sinha A, Jia L, England P, Lorch JR

2014
Sinha A, Jia L, England P, Lorch JR

2014 • Proceedings of the 2014 ACM conference on SIGCOMM
Kim TH-J, Basescu C, Jia L, Lee SB, Hu Y-C, Perrig A

2014 • Computer Communication Review • 271-282
Kim TH-J, Basescu C, Jia L, Lee SB, Hu Y-C, Perrig A