Travelled to:1 × China
1 × India
1 × Italy
1 × Switzerland
Collaborated with:W.K.Chan S.Wu L.Cao Z.Yang K.Zhai W.K.Chan B.Zhu R.Meng H.Yun L.He P.Su B.L.0002
Talks about:deadlock (4) detect (4) program (3) multithread (2) dynam (2) probabilist (1) constraint (1) synchron (1) guarante (1) approach (1)
Person: Yan Cai
DBLP: Cai:Yan
Contributed to:
2015
2014
20132012
20162019Wrote 6 papers:
- ESEC-FSE-2015-CaiC #detection #effectiveness #java #precise #source code
- Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
- ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread
- ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
- PPoPP-2013-CaiZWC #detection #named #parallel #source code #thread
- TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs (YC, KZ, SW, WKC), pp. 311–312.
- ICSE-2012-CaiC #concurrent #detection #named #scalability
- MagicFuzzer: Scalable deadlock detection for large-scale applications (YC, WKC), pp. 606–616.
- ASE-2016-CaiY #probability #testing
- Radius aware probabilistic testing of deadlocks with guarantees (YC, ZY), pp. 356–367.
- ESEC-FSE-2019-CaiZMYHSL #concurrent #detection #memory management
- Detecting concurrency memory corruption vulnerabilities (YC, BZ, RM, HY, LH, PS, BL0), pp. 706–717.