Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ling Zhang
conf.researchr.org general profile
PLDI 2025 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
2025
PLDI
Author of CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks within the PLDI Research Papers-track
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
Mon 19 May 09:24
