Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhongye Wang
conf.researchr.org general profile
POPL 2020 profile
SPLASH 2024 profile
Registered user since Wed 18 Dec 2019
Name:
Zhongye Wang
Affiliation:
Shanghai Jiao Tong University
Contributions
2024
SPLASH
Author of Compositionality and Observational Refinement for Linearizability with Crashes within the OOPSLA 2024-track
2020
POPL
Author of Reentrancy? Yes. Reentrancy bug? No. within the Student Research Competition-track
Share
x
Wed 21 May 12:11
