Limin Jia - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

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

2024

POPL

Committee Member in Program Committee within the POPL-track

VMCAI

Automatically Enforcing Rust Trait Properties

Show activities from other conferences

POPL 2024-profile
View general profile