Limin Jia Research Professor, Affiliated Faculty Office 2216 Mehrabian Collaborative Innovation Center Email liminjia@cmu.edu Phone (412) 268-4605 Department Electrical and Computer Engineering Computer Science Department: Affiliated Research Interests Systems Advisees Myra Dotzel Nuno Sabino Publications Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500 LNCS:210-223 Byrnes T, Takashima Y, Jia L 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 Conference Tainted Secure Multi-Execution to Restrict Attacker Influence 2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 1732-1745 McCall M, Bichhawat A, Jia L
Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500 LNCS:210-223 Byrnes T, Takashima Y, Jia L
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
Conference Tainted Secure Multi-Execution to Restrict Attacker Influence 2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 1732-1745 McCall M, Bichhawat A, Jia L
