Xuezheng Liu

MODIST: transparent model checking of unmodified distributed systems

Junfeng Yang, Tisheng Chen, Ming Wu et al. · 2009 · 169 citations

Computing, Computer Science, Computer Systems +16

R2: an application-level kernel for record and replay

Zhenyu Guo, Xi Wang, Jian Tang et al. · 2008 · 128 citations

Computing, Computer Science, Computer Systems +8

D 3 S: debugging deployed distributed systems

Xuezheng Liu, Zhenyu Guo, Xi Wang et al. · 2008 · 119 citations

Computing, Computer Science, Computer Systems +17

WiDS checker: combating bugs in distributed systems

Xuezheng Liu, Wei Lin, Aimin Pan et al. · 2007 · 85 citations

Computing, Computer Science, Computer Systems +17

A Measurement Study of a Peer-to-Peer Video-on-Demand System.

Bin Cheng, Xuezheng Liu, Zheng Zhang et al. · International Workshop on Peer-to-Peer Systems · 2007 · 85 citations

Computing, Computer Systems, Information Technology +15