Publications by Limin Jia

2019 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 11736:26-46
Cassel D, Huang Y, Jia L

2018 • PROCEEDINGS OF THE 15TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'18) • 437-452
Yuan Y, Chandrasekaran S, Jia L, Sekar V

2018 • Proceedings - IEEE Computer Security Foundations Symposium • 175-188
McCall M, Zhang H, Jia L

2018 • PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) • 2207-2209
Cassel D, Huang Y, Jia L

2018 • 25TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2018)
Melicher W, Das A, Sharif M, Bauer L, Jia L

2018 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10801:771-798
Gommerstadt H, Jia L, Pfenning F

2017 • PROCEEDINGS OF THE 2017 WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS' 17) • 91-106
McCall M, Loh LK, Jia L

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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
Chen C, Jia L, Xu H, Luo C, Zhou W, Loo BT

2015 • Logical Methods in Computer Science • 11(4):
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