GKLEE: concolic verification and test generation for GPUs. - Guodong Li; Peng Li 058; Geoffrey Sawaya; Ganesh Gopalakrishnan; Indradeep Ghosh; Sreeranga P. Rajan (PPoPP, 2012)

Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. - Peng Li 058; Guodong Li; Ganesh Gopalakrishnan (SC, 2012)

Practical Symbolic Race Checking of GPU Programs. - Peng Li 058; Guodong Li; Ganesh Gopalakrishnan (SC, 2014)

Practical Symbolic Execution Analysis and Methodology for GPU Programs. - Peng Li 058 (2015)