Travelled to:1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:C.Zhang X.Xiao Q.Zhang Q.Shi Xiao Xiao 0003 R.Wu Gang Fan
Talks about:analysi (2) determinist (1) postmortem (1) structur (1) polynomi (1) pinpoint (1) pointer (1) persist (1) million (1) stride (1)
Person: Jinguo Zhou
DBLP: Zhou:Jinguo
Contributed to:
2014
201220112018Wrote 4 papers:
- PLDI-2014-XiaoZZZ #persistent #pointer
- Persistent pointer information (XX, QZ, JZ, CZ), p. 48.
- ICSE-2012-ZhouXZ #bound #named #polynomial #search-based
- Stride: Search-based deterministic replay in polynomial time via bounded linkage (JZ, XX, CZ), pp. 892–902.
- ICSE-2011-XiaoZZ #analysis #data type
- Tracking data structures for postmortem analysis (XX, JZ, CZ), pp. 896–899.
- PLDI-2018-ShiXWZFZ #analysis #named #performance #precise
- Pinpoint: fast and precise sparse value flow analysis for million lines of code (QS, XX0, RW, JZ, GF, CZ), pp. 693–706.