Publications by Limin Jia

2021
Surbatovich M, Jia L, Lucia B

2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 851-866
Surbatovich M, Jia L, Lucia B

2021 • Proceedings - International Conference on Software Engineering • 1334-1346
Ferreira G, Jia L, Sunshine J, Kastner C

2021
Ferreira G, Jia L, Sunshine J, Kästner C

2021
Bichhawat A, McCall M, Jia L

2021 • Proceedings - IEEE Computer Security Foundations Symposium • 49-64
Bichhawat A, McCall M, Jia L

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13077:3-23
Zhang Z, de Amorim AA, Jia L, Pasareanu C

2021 • Proceedings 2021 IEEE Secure Development Conference Secdev 2021 • ix
Jia L, Piessens F

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12597:486-508
Zhang H, Zhang C, de Amorim AA, Agarwal Y, Fredrikson M, Jia L

2021 • Proceedings - Symposium on Logic in Computer Science
Derakhshan F, Balzer S, Jia L

2021
Derakhshan F, Balzer S, Jia L

2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 899-913
Takashima Y, Martins R, Jia L, Pasareanu CS

2021
Surbatovich M, Jia L, Lucia B

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

2020 • 2020 Formal Methods in Computer Aided Design (FMCAD) • 00:113-118
Zhang Z, de Amorim AA, Jia L, Păsăreanu CS

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 • PROCEEDINGS OF THE 2020 ACM WORKSHOP ON FORMING AN ECOSYSTEM AROUND SOFTWARE TRANSFORMATION, FEAST 2020 • 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

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