Registered user since Sat 13 Jun 2020

Name: Junpeng Zha

Country: China

Affiliation: Nanjing University, China

Contributions

PLDI 2019Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track