Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ling Zhang
conf.researchr.org general profile
POPL 2022 profile
POPL 2024 profile
Registered user since Tue 26 Oct 2021
Name:
Ling Zhang
Country:
China
Affiliation:
Shanghai Jiao Tong University
Contributions
2024
POPL
Author of Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules within the POPL-track
2022
POPL
Author of Verified Compilation of C Programs with a Nominal Memory Model within the POPL-track
Share
x
Tue 3 Dec 18:04