Limin Jia

Registered user since Mon 18 Jan 2016

Name: Limin Jia

Affiliation: Carnegie Mellon University

Personal website: https://www.andrew.cmu.edu/user/liminjia/

Research interests: Security, Programming languages

Contributions

PLMW 2021 Invited Speaker in Invited Speakers within the PLMW 2021-track
Speaker of Connecting Information Flow Types to Runtime Monitors via Gradual Typing within the PLMW 2021-track
PLDI 2021 Author of Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems within the PLDI Research Papers-track
Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the PLDI Research Papers-track
VMCAI 2021 Author of Netter: Probabilistic, Stateful Network Models within the VMCAI-track
SPLASH 2020 Author of Towards a Formal Foundation of Intermittent Computing within the OOPSLA-track
Author of Towards a Formal Foundation of Intermittent Computing within the Posters-track
PriSC 2020 Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
ICSE 2021 Author of Containing Malicious Package Updates in npm with a Lightweight Permission System within the Technical Track-track
SPLASH 2019 Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the Posters-track
Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
ICSE 2019 Author of Detecting Suspicious Package Updates within the New Ideas and Emerging Results-track
TyDe 2017 Committee Member in Program Committee within the TyDe 2017-track
POPL 2017 Committee Member in Program Committee within the POPL-track
Off the Beaten Track 2016 Committee Member in Program Committee within the Off the Beaten Track-track
Session Chair of Session Three (part of Off the Beaten Track)
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
POPL 2016 Author of Monitors and Blame Assignment for Higher-Order Session Types within the Research Papers-track
PLAS 2015 Co-chair in Program Committee within the PLAS-track
Session Chair of Welcome (part of PLAS)