Follow
Li Peng
Li Peng
ByteDance
Verified email at bytedance.com - Homepage
Title
Cited by
Cited by
Year
Understanding integer overflow in C/C++
W Dietz, P Li, J Regehr, V Adve
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-29, 2015
2512015
GKLEE: concolic verification and test generation for GPUs
G Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP Rajan
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of …, 2012
1702012
Savior: Towards bug-driven hybrid testing
Y Chen, P Li, J Xu, S Guo, R Zhou, Y Zhang, T Wei, L Lu
2020 IEEE Symposium on Security and Privacy (SP), 1580-1596, 2020
1572020
T-check: bug finding for sensor networks
P Li, J Regehr
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
1272010
SpecuSym: Speculative symbolic execution for cache timing leak detection
S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z Zuo
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
522020
Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs
P Li, G Li, G Gopalakrishnan
SC'12: Proceedings of the International Conference on High Performance …, 2012
412012
Practical symbolic race checking of GPU programs
P Li, G Li, G Gopalakrishnan
SC'14: Proceedings of the International Conference for High Performance …, 2014
392014
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets.
Z Qi, Q Feng, Y Cheng, M Yan, P Li, H Yin, T Wei
NDSS, 2021
282021
Exposing cache timing side-channel leaks through out-of-order symbolic execution
S Guo, Y Chen, J Yu, M Wu, Z Zuo, P Li, Y Cheng, H Wang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-32, 2020
82020
Facilitating parallel fuzzing with mutually-exclusive task distribution
Y Wang, Y Zhang, C Pang, P Li, N Triandopoulos, J Xu
Security and Privacy in Communication Networks: 17th EAI International …, 2021
72021
Vulnerability driven hybrid test system for application programs
P Li, Y Zhang, T Wei
US Patent 11,205,004, 2021
32021
Event-driven software testing
P Li, H Tanida, P Huaxin
US Patent 9,811,448, 2017
22017
Method, device and computer-readable storage medium for guiding symbolic execution
Q Feng, GUO Shengjian, P Li, M Wang, Y Zhang, T Wei
US Patent 11,119,892, 2021
12021
Formal analysis techniques for reliable GPU programming: Current solutions and call to action
A Donaldson, G Gopalakrishnan, N Chong, J Ketema, G Li, P Li, ...
United States: Elsevier Inc 9, 3-21, 2016
12016
Practical symbolic execution analysis and methodology for GPU programs
P Li
The University of Utah, 2015
12015
GKLEE
G Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP Rajan
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012
12012
基于 PERT 技术的人员调度研究
李勋, 李鹏, 顾庆, 陈道蓄
计算机科学 35 (2), 301-302, 2008
12008
TCPN 的组合可调度分析
李鹏, 李勋, 顾庆, 陈道蓄
计算机科学, 290-293, 2008
12008
Constraint guided hybrid fuzzing test system for application programs
P Li
US Patent 11,275,676, 2022
2022
Method and apparatus for testing a code file
P Li, C Yaohui, T Wei
US Patent 11,151,018, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20