Registered user since Sat 13 Jun 2020

Name:Junpeng Zha
Country:China
Affiliation:Nanjing University

Contributions

PLDI 2022 Verifying Optimizations of Concurrent Programs in the Promising Semantics
Show activities from other conferences

PLDI 2022-profile
View general profile