Multilevel Task Partition Algorithm for Parallel Simulation of Power System Dynamics. - Wei Xue; Shanxiang Qi (International Conference on Computational Science (1), 2007)

SigRace: signature-based data race detection. - Abdullah Muzahid; Darío Suárez Gracia; Shanxiang Qi; Josep Torrellas (ISCA, 2009)

BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support. - Wonsun Ahn; Shanxiang Qi; M. Nicolaides; Josep Torrellas; Jae-Woo Lee; Xing Fang; Samuel P. Midkiff; David C. Wong 001 (MICRO, 2009)

Pacman: Tolerating asymmetric data races with unintrusive hardware. - Shanxiang Qi; Norimasa Otsuki; Lois Orosa Nogueira; Abdullah Muzahid; Josep Torrellas (HPCA, 2012)

Vulcan: Hardware Support for Detecting Sequential Consistency Violations Dynamically. - Abdullah Muzahid; Shanxiang Qi; Josep Torrellas (MICRO, 2012)

Techniques to detect and avert advanced software concurrency bugs - Shanxiang Qi (2013)

Dynamically detecting and tolerating IF-Condition Data Races. - Shanxiang Qi; Abdullah Muzahid; Wonsun Ahn; Josep Torrellas (HPCA, 2014)

AI: a lightweight system for tolerating concurrency bugs. - Mingxing Zhang; Yongwei Wu 001; Shan Lu 001; Shanxiang Qi; Jinglei Ren; Weimin Zheng (SIGSOFT FSE, 2014)

Fixing, preventing, and recovering from concurrency bugs. - Dongdong Deng; Guoliang Jin; Marc de Kruijf; Ang Li; Ben Liblit; Shan Lu 001; Shanxiang Qi; Jinglei Ren; Karthikeyan Sankaralingam; Linhai Song; Yongwei Wu 001; Mingxing Zhang; et al. (Sci. China Inf. Sci., 2015)

A Lightweight System for Detecting and Tolerating Concurrency Bugs. - Mingxing Zhang; Yongwei Wu 001; Shan Lu 001; Shanxiang Qi; Jinglei Ren; Weimin Zheng (IEEE Trans. Software Eng., 2016)