Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Junpeng Zha
conf.researchr.org general profile
PLDI 2019 profile
PLDI 2022 profile
Registered user since Sat 13 Jun 2020
Name:
Junpeng Zha
Country:
China
Affiliation:
Nanjing University, China
Contributions
2022
PLDI
Author of Verifying Optimizations of Concurrent Programs in the Promising Semantics within the PLDI-track
2019
PLDI
Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track
Share
x
Sun 22 Dec 09:30