AutoLog: facing log redundancy and insufficiency. - Cheng Zhang; Zhenyu Guo; Ming Wu 007; Longwen Lu; Yu Fan; Jianjun Zhao 001; Zheng Zhang 001 (APSys, 2011)

MoonBox: debugging with online slicing and dryrun. - Cheng Zhang; Longwen Lu; Hucheng Zhou; Jianjun Zhao 001; Zheng Zhang 001 (APSys, 2012)

Soot-based implementation of a demand-driven reaching definitions analysis. - Longwen Lu; Cheng Zhang; Jianjun Zhao 001 (SOAP@PLDI, 2012)