First-aid: surviving and preventing memory management bugs during production runs. - Qi Gao 004; Wenbin Zhang 005; Yan Tang; Feng Qin (EuroSys, 2009)

FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking. - Zhezhe Chen; Qi Gao 004; Wenbin Zhang 005; Feng Qin (SC, 2010)

2ndStrike: toward manifesting hidden concurrency typestate bugs. - Qi Gao 004; Wenbin Zhang 005; Zhezhe Chen; Mai Zheng; Feng Qin (ASPLOS, 2011)

JSGuard: Shellcode Detection in JavaScript. - Boxuan Gu; Wenbin Zhang 005; Xiaole Bai; Adam C. Champion; Feng Qin; Dong Xuan (SecureComm, 2012)

Improving the Reliability of MPI Libraries via Message Flow Checking. - Zhezhe Chen; Qi Gao 004; Wenbin Zhang 005; Feng Qin (IEEE Trans. Parallel Distributed Syst., 2013)