CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. - Ruijie Meng; Biyun Zhu; Hao Yun; Haicheng Li; Yan Cai 001; Zijiang Yang 006 (ASE, 2019)

Detecting concurrency memory corruption vulnerabilities. - Yan Cai 001; Biyun Zhu; Ruijie Meng; Hao Yun; Liang He 011; Purui Su; Bin Liang 002 (ESEC/SIGSOFT FSE, 2019)

Sound and efficient concurrency bug prediction. - Yan Cai 001; Hao Yun; Jinqiu Wang; Lei Qiao; Jens Palsberg (ESEC/SIGSOFT FSE, 2021)

Highly Reliable Metro-Access Network Based on a Dual-Fiber Ring Architecture and Optimized Protection Mechanisms. - Zerui Song; Wei Ji 010; Rui Yin 003; Jingyao Li; Zisu Gong; Hao Yun (IEEE Access, 2021)