Registered user since Tue 26 Oct 2021

Name:Ling Zhang
Country:China
Affiliation:John Hopcroft Center for Computer Science - Shanghai Jiao Tong University

Contributions

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

Using general profile