Registered user since Tue 26 Oct 2021

Name:Ling Zhang
Country:China
Affiliation:Shanghai Jiao Tong University

Contributions

POPL 2022 Verified Compilation of C Programs with a Nominal Memory Model
Show activities from other conferences

POPL 2022-profile
View general profile