Limin Jia Research Professor, Affiliated Faculty Office 2216 Mehrabian Collaborative Innovation Center Email liminjia@cmu.edu Phone (412) 268-4605 Department CIT - Electrical and Computer Engineering Computer Science Department: Affiliated Research Interests Systems Advisees Myra Dotzel Nuno Sabino Rafael Goncalves Publications Conference Towards Compositional Assurance of Large Cyber-Physical Systems 2025 1-3 Moreno GA, Klein MH, Saha S, Derakhshan F, Jia L Conference Attacks and Defenses for Large Language Models on Coding Tasks 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 Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500:210-223 Byrnes T, Takashima Y, Jia L Journal Article Crabtree: Rust API Test Synthesis Guided by Coverage and Type 2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA): Takashima Y, Cho C, Martins R, Jia L, Pasareanu CS Journal Article Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs 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
Conference Towards Compositional Assurance of Large Cyber-Physical Systems 2025 1-3 Moreno GA, Klein MH, Saha S, Derakhshan F, Jia L
Conference Attacks and Defenses for Large Language Models on Coding Tasks 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
Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500:210-223 Byrnes T, Takashima Y, Jia L
Journal Article Crabtree: Rust API Test Synthesis Guided by Coverage and Type 2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA): Takashima Y, Cho C, Martins R, Jia L, Pasareanu CS
Journal Article Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs 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