1

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints
Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu
PDF Cite DOI
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection
Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
PDF Cite DOI
INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion
Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu
PDF Cite Code Slides DOI
HmwkCheck: a homework auto-checking system based on arithmetic operation recognition using smartphones
Lingyu Zhang, Yafeng Yin, Lei Xie, Sanglu Lu
PDF Cite Code DOI