Publications by Limin Jia

2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):
Marques F, Ferreira M, Nascimento A, Coimbra ME, Santos N, Jia L, Santos JF

2025 • ACM Transactions on Programming Languages and Systems • 47(2):
Dotzel M, Derakhshan F, Surbatovich M, Jia L

2025 • Proceedings of the ACM on Programming Languages • 9(OOPSLA2):
Liu L, Derakhshan F, Jia L, Moreno GA, Klein M

2025 • 2025 IEEE/ACM 4TH INTERNATIONAL CONFERENCE ON AI ENGINEERING-SOFTWARE ENGINEERING FOR AI, CAIN • 285-287
Peng Q, Zhang C, Mangal R, Pasareanu C, Jia L

2025 1-3
Moreno GA, Klein MH, Saha S, Derakhshan F, Jia L

2024 • Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee... • 2268-2272
Zhang C, Wang Z, Zhao R, Mangal R, Fredrikson M, Jia L, Pasareanu CS

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14500:210-223
Byrnes T, Takashima Y, Jia L

2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA):
Takashima Y, Cho C, Martins R, Jia L, Pasareanu CS

2024 • Proceedings of the ACM on Programming Languages • 8(PLDI):
Ferreira M, Monteiro M, Brito T, Coimbra ME, Santos N, Jia L, Fragoso Santos J

2024 • 9TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P 2024 • 617-632
Zhang Z, Jia L, Pasareanu C

2023 • Proceedings of the ACM on Programming Languages • 7(PLDI):
Surbatovich M, Spargo N, Jia L, Lucia B

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13990:168-196
Derakhshan F, Dotzel M, Surbatovich M, Jia L

2023 • 2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P • 1101-1127
Cassel D, Wong WT, Jia L

2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 1732-1745
McCall M, Bichhawat A, Jia L

2023 • 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN • 102-103
Pinconschi E, Reis S, Zhang C, Abreu R, Erdogmus H, Pasareanu CS, Jia L

2023 • Proceedings - IEEE Computer Security Foundations Symposium • 324-339
Derakhshan F, Zhang Z, Vasudevan A, Jia L

2023 • PROCEEDINGS OF THE NINETEENTH SYMPOSIUM ON USABLE PRIVACY AND SECURITY, SOUPS 2023 • 301-320
McCall M, Zeng E, Shezan FH, Yang M, Bauer L, Bichhawat A, Cobb C, Jia L, Tian Y

2023
Zhang C, Wang Z, Mangal R, Fredrikson M, Jia L, Pasareanu C

2022 • 2022 IEEE 7TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2022) • 467-486
McCall M, Bichhawat A, Jia L

2022 • PROCEEDINGS OF THE ACM WEB CONFERENCE 2022 (WWW'22) • 576-587
Lin S-C, Chou K-H, Chen Y, Hsiao H-C, Cassel D, Bauer L, Jia L

2022 • Proceedings on Privacy Enhancing Technologies • 2022(1):227-252
Cassel D, Lin S-C, Buraggina A, Wang W, Zhang A, Bauer L, Hsiao H-C, Jia L, Libert T

2022 • Journal of Logical and Algebraic Methods in Programming • 124:
Gommerstadt H, Jia L, Pfenning F

2021 • IEEE Symposium on Security and Privacy: Proceedings • 572-589
Yu M, Gligor V, Jia L

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