Xinyu Feng

Registered user since Tue 17 Mar 2015

Name:Xinyu Feng
Country:China
Affiliation:Nanjing University

Contributions

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

Using general profile