Li Peng
Li Peng
Verified email at - Homepage
Cited by
Cited by
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
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
T-check: bug finding for sensor networks
P Li, J Regehr
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
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
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
Practical symbolic race checking of GPU programs
P Li, G Li, G Gopalakrishnan
SC'14: Proceedings of the International Conference for High Performance …, 2014
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
Trajectory tracking control for mobile robots using reinforcement learning and PID
S Wang, X Yin, P Li, M Zhang, X Wang
Iranian Journal of Science and Technology, Transactions of Electrical …, 2020
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets.
Z Qi, Q Feng, Y Cheng, M Yan, P Li, H Yin, T Wei
NDSS, 2021
Defect engineering of BCZT-based piezoelectric ceramics with high piezoelectric properties
X Wang, Y Huan, Y Zhu, P Zhang, W Yang, P Li, T Wei, L Li, X Wang
Journal of Advanced Ceramics 11 (1), 184-195, 2022
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
Cognitive control using adaptive RBF neural networks and reinforcement learning for networked control system subject to time-varying delay and packet losses
S Wang, X Yin, P Li, Y Zhang, X Wang, S Tong
Arabian Journal for Science and Engineering 46 (10), 10245-10259, 2021
TCPN 的组合可调度分析
李鹏, 李勋, 顾庆, 陈道蓄
计算机科学 5 (1), 290-293, 2008
Vulnerability driven hybrid test system for application programs
P Li, Y Zhang, T Wei
US Patent 11,205,004, 2021
Facilitating parallel fuzzing with mutually-exclusive task distribution
Y Wang, Y Zhang, C Pang, P Li, N Triandopoulos, J Xu
International Conference on Security and Privacy in Communication Systems …, 2021
Event-driven software testing
P Li, H Tanida, P Huaxin
US Patent 9,811,448, 2017
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
Practical symbolic execution analysis and methodology for GPU programs
P Li
The University of Utah, 2015
基于 PERT 技术的人员调度研究
李勋, 李鹏, 顾庆, 陈道蓄
计算机科学 35 (2), 301-302, 2008
Constraint guided hybrid fuzzing test system for application programs
P Li
US Patent 11,275,676, 2022
The system can't perform the operation now. Try again later.
Articles 1–20