Collaborated with:
R.Meng B.Zhu H.Yun Y.C.0001 Z.Yang
Talks about:
concurr (1) vulner (1) effect (1) detect (1) convul (1) tool (1)
Person: Haicheng Li
DBLP: Li:Haicheng
Contributed to:
Wrote 1 papers:
- ASE-2019-MengZYL0Y #concurrent #detection #effectiveness #named
- CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities (RM, BZ, HY, HL, YC0, ZY), pp. 1154–1157.