Publications by Limin Jia

2021 • PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2021 (WWW 2021) • 2684-2695
Melicher W, Fung C, Bauer L, Jia L

2020 • Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 • 113-118
Zhang Z, De Amorim AA, Jia L, Pasareanu CS

2020
Bichhawat A, McCall M, Jia L

2020
Bichhawat A, McCall M, Jia L

2020 • PROCEEDINGS OF THE SIXTEENTH SYMPOSIUM ON USABLE PRIVACY AND SECURITY (SOUPS 2020) • 505-529
Cobb C, Surbatovich M, Kawakami A, Sharif M, Bauer L, Das A, Jia L

2020 • Proceedings - 2020 IEEE Secure Development, SecDev 2020 • 96-107
Kim T, Jia L

2020 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 181-200
Yuan Y, Moon S-J, Uppal S, Jia L, Sekar V

2020 • FEAST 2020 - Proceedings of the 2020 ACM Workshop on Forming an Ecosystem Around Software Transformation • 9-14
Li K, Woo M, Jia L

2020 • Proceedings - Symposium on Logic in Computer Science • 116-129
de Amorim AA, Fredrikson M, Jia L

2020 • Proceedings of the ACM on Programming Languages • 4:
Surbatovich M, Lucia B, Jia L

2020
Surbatovich M, Jia L, Lucia B

2019 • 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019) • 13-16
Garrett K, Ferreira G, Jia L, Sunshine J, Kastner C

2019 • Proceedings of the ACM on Programming Languages • 3:
Surbatovich M, Jia L, Lucia B

2019
Cassel D, Huang Y, Jia L

2019 • Lecture Notes in Computer Science • 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 • 10801 LNCS: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 • 10204:3-25
Rafnsson W, Jia L, Bauer L