Collaborated with:L.Cao Z.Yang J.Zhao Y.Guo J.Zhang J.Liu J.Zhou S.Silvestro H.Liu T.Liu P.Bian B.L.0002 W.Shi J.H.0001 R.Meng B.Zhu H.Yun H.Li L.He H.Hu P.Su Z.Liang Y.Yang H.Huang J.Yan X.Jia D.Feng
Talks about:detect (5) race (3) sampl (2) strategi (1) overflow (1) deadlock (1) softwar (1) qualiti (1) product (1) prevent (1)
Person: Yan Cai 0001
DBLP: 0001:Yan_Cai
Contributed to:
2016
2017
201720182019Wrote 7 papers:
- FSE-2016-CaiZCL #concurrent #detection
- A deployable sampling strategy for data race detection (YC0, JZ, LC, JL), pp. 810–821.
- ASE-2017-HeCHSLYHYJF #automation
- Automatically assessing crashes from heap overflows (LH, YC0, HH, PS, ZL, YY, HH, JY, XJ, DF), pp. 274–279.
- ASE-2017-ZhouSLCL #detection #named
- UNDEAD: detecting and preventing deadlocks in production software (JZ, SS, HL, YC0, TL), pp. 729–740.
- ESEC-FSE-2017-CaiCZ #adaptation #generative #quality
- Adaptively generating high quality fixes for atomicity violations (YC0, LC, JZ), pp. 303–314.
- ESEC-FSE-2017-GuoCY #concurrent #detection #execution #named #thread
- AtexRace: across thread and execution sampling for in-house race detection (YG, YC0, ZY), pp. 315–325.
- ESEC-FSE-2018-BianLSH0 #debugging #detection #named
- NAR-miner: discovering negative association rules from code for bug detection (PB, BL0, WS, JH0, YC0), pp. 411–422.
- ASE-2019-MengZYL0Y #concurrent #detection #effectiveness #named
- CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities (RM, BZ, HY, HL, YC0, ZY), pp. 1154–1157.