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 Attacks and Defenses for Large Language Models on Coding Tasks 2024 2268-2272 Zhang C, Wang Z, Zhao R, Mangal R, Fredrikson M, Jia L, Pasareanu C 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(OOPSLA2):618-647 Takashima Y, Cho C, Martins R, Jia L, Păsăreanu 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 ProInspector: Uncovering Logical Bugs in Protocol Implementations 2024 • 9TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P 2024 • 617-632 Zhang Z, Jia L, Pasareanu C
Conference Attacks and Defenses for Large Language Models on Coding Tasks 2024 2268-2272 Zhang C, Wang Z, Zhao R, Mangal R, Fredrikson M, Jia L, Pasareanu C
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(OOPSLA2):618-647 Takashima Y, Cho C, Martins R, Jia L, Păsăreanu 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 ProInspector: Uncovering Logical Bugs in Protocol Implementations 2024 • 9TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P 2024 • 617-632 Zhang Z, Jia L, Pasareanu C
