Write a Blog >>
Xinyu Feng

Registered user since Tue 17 Mar 2015

Name: Xinyu Feng

Country: China

Affiliation: Nanjing University

Personal website: https://cs.nju.edu.cn/xyfeng/

Contributions

PEPM 2020 Reasoning about Progress of Concurrent Objects
Show activities from other conferences

POPL 2020-profile
View general profile