Peng Li

Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs

Peng Li, Guodong Li, Ganesh Gopalakrishnan, 2012, 2012 International Conference for High Performance Computing, Networking, Storage and Analysis.

Understanding integer overflow in C/C++

Peng Li, John Regehr, Will Dietz, 2012, 2012 34th International Conference on Software Engineering (ICSE).

SAVIOR: Towards Bug-Driven Hybrid Testing

Peng Li, Long Lu, Tao Wei, 2019, 2020 IEEE Symposium on Security and Privacy (SP).

Exposing cache timing side-channel leaks through out-of-order symbolic execution

Zhiqiang Zuo, Peng Li, Huibo Wang, 2020, Proc. ACM Program. Lang..

SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection

Yueqiang Cheng, Zhiqiang Zuo, Shengjian Guo, 2019, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).

SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets

Heng Yin, Mengjia Yan, Zhenxiao Qi, 2021, NDSS.

GKLEE: concolic verification and test generation for GPUs

Peng Li, Guodong Li, Ganesh Gopalakrishnan, 2012, PPoPP '12.