Not registered as user yet

Name:Jinwei Liu
Affiliation:Beijing Jiaotong University

Contributions

PPoPP 2021 Author of Reasoning About Recursive Tree Traversals within the Main Conference-track