Publications by Limin Jia

2026
Kang B, Hoffmann J, Jia L, Lucia B, Saad FA

2026 2626-2638
Ni R, Yang AZH, Hsu M-C, Sabino N, Jia L, Martins R, Cassel D, Cheang K

2026
Ni R, Yang AZH, Hsu M-C, Sabino N, Jia L, Martins R, Cassel D, Cheang K

2026
Hannan MA, Ni R, Zhang C, Jia L, Mangal R, Pasareanu CS

2026
Hannan MA, Ni R, Zhang C, Jia L, Mangal R, Pasareanu CS

2026 13-24
Kang B, Desai H, Jia L, Lucia B

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
Cassel D, Sabino N, Hsu M-C, Martins R, 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

2025
Kang B, Desai H, Jia L, Lucia B

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 19th 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