Yan Cai
PhD (CityU), BEng (SDU)

State Key Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences, Beijing, China.

Email: ycai.mail _A_T_
Tel. : (+86) 010-6266 1614

See more at:



Research Areas

Program Analysis and Software Engineering, especially for large-scale concurrent systems.


  • Sep. 2010 to Aug. 2014, PhD, City University of Hong Kong
  • Oct. 2009 to Mar. 2010, Research Student, Kumamoto University.
  • Sep. 2005 to Jul. 2009, BEng, Shandong University.



Journal Papers

  1. Bian Pan, Liang Bin, Zhang Yan, Yang Chaoqun, Shi Wenchang, and Yan Cai. Detecting Bugs by Discovering Expectations and Their Violations. IEEE TSE, 2018. Accepted.     

  2. Yan Cai and Qiong Lu. Dynamic Testing for Deadlocks via Constraints. IEEE TSE, 2016.       

  3. Changjiang Jia, Yan Cai, Y.T. Yu, and T.H. Tse. 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing. JSS, 2016.       

  4. Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, and W.K. Chan. ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. IEEE TPDS, 2015.       

  5. Yan Cai and W.K. Chan. Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs. IEEE TSE, 2014.       

  6. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W.K. Chan, Zhenyu Zhang, and T.H. Tse. A Subsumption Hierarchy of Test Case Prioritization for Composite Services. IEEE TSC, 2015.       

  7. Yan Cai and W.K. Chan. Lock Trace Reduction for Multithreaded Programs. IEEE TPDS, 2013.       

  8. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, and W.K. Chan. Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. IJWSR, 2013.        

  9. W.K. Chan and Yan Cai. In Quest of the Science in Statistical Fault Localization. SPE, 2013.       

Conference Papers ( § indicates Co-First Author)

  1. Yan Cai, Ruijie Meng, and Jens Palsberg. Low-Overhead Deadlock Prediction. ICSE’20, accepted.

  2. Yan Cai, Yutian Tang, Haicheng Li, Le Yu, Hao Zhou, Xiapu Luo, Liang He, and Purui Su, Resource Race Attacks on Android, SANER’20, accepted.

  3. Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, and Yan Cai. NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection. ESEC/FSE'18, accepted, 2018.  

  4. Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu. UnDead: Detecting and Tolerating Deadlocks in Production Software. ASE'17, 2017.  

  5. Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng. Automatically Assessing Crashes from Heap Overflows. ASE'17, 2017.    

  6. Yan Cai, Lingwei Cao, and Jing Zhao. Adaptively Generating High Quality Fixes for Atomicity Violations . ESEC/FSE'17, 2017.    

  7. Yu Guo§, Yan Cai§, and Zijiang Yang. AtexRace: Across Thread and Execution Sampling for In-house Race Detection. ESEC/FSE'17, 2017.    

  8. Yan Cai, Jian Zhang, Lingwei Cao, and Jian Liu. (CRSampler) A Deployable Sampling Strategy for Data Race Detection. FSE'16, 2016.           

  9. Yan Cai and Zijiang Yang. (RPro) Radius Aware Probabilistic Testing of Deadlocks with Guarantees. ASE'16, 2016.              

  10. Yan Cai and Lingwei Cao. (DFixer) Fixing Deadlocks via Lock Pre-Acquisitions. ICSE'16, 2016.              

  11. Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, and Yan Cai. AntMiner: Mining More Bugs by Reducing Noise Interference. ICSE'16, 2016.         

  12. Yan Cai and Lingwei Cao. (DrFinder) Effective and Precise Dynamic Detection of Hidden Races for Java Programs. ESEC/FSE'15, 2015.        

  13. Yan Cai, Shangru Wu, and W.K. Chan. ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs. ICSE'14, 2014.        

  14. Yan Cai, W.K. Chan, and Y.T. Yu. Taming Deadlocks in Multithreaded Programs. The Symposium on Engineering Test Harness 2013 (TSETH'13). QSIC'13, 2013.        

  15. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, and W.K. Chan. Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. ICWS'13, 2013.        

  16. Yan Cai, Zhai Ke, Shangru Wu, and W.K. Chan. TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs. PPoPP'13, poster paper, 2013.        

  17. Yan Cai and W.K. Chan. MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications. ICSE'12, 2012.        

  18. Yan Cai and W.K. Chan. LOFT: Redundant Synchronization Event Removal for Data Race Detection. ISSRE'11, 2011.        



曹玲微  硕士研究生  081203-计算机应用技术  

朱碧云  硕士研究生  081202-计算机软件与理论  

李海成  硕士研究生  085211-计算机技术  

孟瑞杰  硕士研究生  083500-软件工程  


云昊  硕士研究生  083500-软件工程  

祝世豪  博士研究生  083500-软件工程