Acculock: Accurate and efficient detection of data races. - Xinwei Xie; Jingling Xue (CGO, 2011)

On-demand dynamic summary-based points-to analysis. - Lei Shang 002; Xinwei Xie; Jingling Xue (CGO, 2012)

Accurate and efficient on-the-fly data race detection for multithreaded programs. - Xinwei Xie (2012)

An Incremental Points-to Analysis with CFL-Reachability. - Yi Lu 003; Lei Shang 002; Xinwei Xie; Jingling Xue (CC, 2013)

A new parallel recomputing code design methodology for fast failure recovery. - Yunfei Du; Yuhua Tang; Xinwei Xie (Comput. Electr. Eng., 2013)

Epipe: A low-cost fault-tolerance technique considering WCET constraints. - Jianli Li; Jingling Xue; Xinwei Xie; Qing Wan; Qingping Tan; Lanfang Tan (J. Syst. Archit., 2013)

Acculock: accurate and efficient detection of data races. - Xinwei Xie; Jingling Xue; Jie Zhang (Softw. Pract. Exp., 2013)