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 Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500:210-223 Byrnes T, Takashima Y, Jia L 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 Journal Article A Type System for Safe Intermittent Computing 2023 • Proceedings of the ACM on Programming Languages • 7(PLDI): Surbatovich M, Spargo N, Jia L, Lucia B Chapter Modal Crash Types for Intermittent Computing 2023 • Lecture Notes in Computer Science • 13990 LNCS:168-196 Derakhshan F, Dotzel M, Surbatovich M, Jia L Conference NODEMEDIC: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs 2023 • 2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P • 1101-1127 Cassel D, Wong WT, Jia L
Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500:210-223 Byrnes T, Takashima Y, Jia L
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
Journal Article A Type System for Safe Intermittent Computing 2023 • Proceedings of the ACM on Programming Languages • 7(PLDI): Surbatovich M, Spargo N, Jia L, Lucia B
Chapter Modal Crash Types for Intermittent Computing 2023 • Lecture Notes in Computer Science • 13990 LNCS:168-196 Derakhshan F, Dotzel M, Surbatovich M, Jia L
Conference NODEMEDIC: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs 2023 • 2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P • 1101-1127 Cassel D, Wong WT, Jia L
