RIPT - An Efficient Multi-Core Record-Replay System. - Jiashuo Liang; Guancheng Li; Chao Zhang 008; Ming Yuan 003; Xingman Chen; Xinhui Han (CCS, 2020)

RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. - Ming Yuan 003; Yeseop Lee; Chao Zhang 008; Yun Li 010; Yan Cai 001; Bodong Zhao (ISSTA, 2021)

StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing. - Bodong Zhao; Zheming Li; Shisong Qin; Zheyu Ma; Ming Yuan 003; Wenyu Zhu; Zhihong Tian; Chao Zhang 008 (USENIX Security Symposium, 2022)

RaceBench: A Triggerable and Observable Concurrency Bug Benchmark. - Jiashuo Liang; Ming Yuan 003; Zhanzhao Ding; Siqi Ma; Xinhui Han; Chao Zhang 008 (AsiaCCS, 2023)

DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing. - Ming Yuan 003; Bodong Zhao; Penghui Li 001; Jiashuo Liang; Xinhui Han; Xiapu Luo; Chao Zhang 008 (USENIX Security Symposium, 2023)