BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: 0001:Yan_Cai

Contributed to:

FSE 20162016
ASE 20172017
ESEC/FSE 20172017
ESEC/FSE 20182018
ASE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.