Xiangyu Zhang

Program Binary Typical workloads Input Spec . Causality Inference Engine Model Constructor Causal Models Segmented Parser Context Constraint Checker Audit Logs Causality Annotated Model Generation Model Parsing Recognized Causality Recognized Models

X. Zhang, V. Yegneswaran, Fei Wang, 2017 .

SemCluster : Clustering of Programming Assignments based on Quantitative Semantic Features

X. Zhang, R. Samanta, D. Perry, 2018 .

Suppressing Concurrency Bugs Using Scheduler Shepherding

X. Zhang, S. Jagannathan, Dasarath Weeratunge, 2011 .