Not registered as user yet

Name:Chengfeng Ye
Country:China
Affiliation:Hong Kong University of Science and Technology

Contributions

ESEC/FSE 2022 Author of Peahen: Fast and Precise Static Deadlock Detection via Context Reduction within the Research Papers-track