Collaborated with:
S.Silvestro H.Liu Y.C.0001 T.Liu
Talks about:
deadlock (1) softwar (1) product (1) prevent (1) undead (1) detect (1)
Person: Jinpeng Zhou
DBLP: Zhou:Jinpeng
Contributed to:
Wrote 1 papers:
- ASE-2017-ZhouSLCL #detection #named
- UNDEAD: detecting and preventing deadlocks in production software (JZ, SS, HL, YC0, TL), pp. 729–740.