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 Journal Article Automated Exploit Generation for Node.js Packages 2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):1341-1366 Marques F, Ferreira M, Nascimento A, Coimbra ME, Santos N, Jia L, Santos JF Journal Article Modal Crash Types for WAR-Aware Intermittent Computing 2025 • ACM Transactions on Programming Languages and Systems • 47(2):1-62 Dotzel M, Derakhshan F, Surbatovich M, Jia L Conference Random Perturbation Attack on LLMs for Code Generation 2025 285-287 Peng Q, Zhang C, Mangal R, Pasareanu C, Jia L 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
Journal Article Automated Exploit Generation for Node.js Packages 2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):1341-1366 Marques F, Ferreira M, Nascimento A, Coimbra ME, Santos N, Jia L, Santos JF
Journal Article Modal Crash Types for WAR-Aware Intermittent Computing 2025 • ACM Transactions on Programming Languages and Systems • 47(2):1-62 Dotzel M, Derakhshan F, Surbatovich M, Jia L
Conference Random Perturbation Attack on LLMs for Code Generation 2025 285-287 Peng Q, Zhang C, Mangal R, Pasareanu C, Jia L
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
