| 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 | 265 | 2015 |
| 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 | 187 | 2020 |
| 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 | 182 | 2012 |
| T-check: bug finding for sensor networks P Li, J Regehr Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010 | 129 | 2010 |
| 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 | 57 | 2020 |
| SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets. Z Qi, Q Feng, Y Cheng, M Yan, P Li, H Yin, T Wei NDSS, 1-14, 2021 | 42 | 2021 |
| Practical symbolic race checking of GPU programs P Li, G Li, G Gopalakrishnan SC'14: Proceedings of the International Conference for High Performance …, 2014 | 42 | 2014 |
| 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 | 42 | 2012 |
| 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 | 9 | 2021 |
| 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 | 8 | 2020 |
| Event-driven software testing P Li, H Tanida, P Huaxin US Patent 9,811,448, 2017 | 2 | 2017 |
| Constraint guided hybrid fuzzing test system for application programs P Li US Patent 11,275,676, 2022 | 1 | 2022 |
| Method and apparatus for testing a code file P Li, C Yaohui, T Wei US Patent 11,151,018, 2021 | 1 | 2021 |
| 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 | 1 | 2016 |
| Practical symbolic execution analysis and methodology for GPU programs P Li The University of Utah, 2015 | 1 | 2015 |
| 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 | 1 | 2012 |
| 基于 PERT 技术的人员调度研究 李勋， 李鹏， 顾庆， 陈道蓄 计算机科学 35 (2), 301-302, 2008 | 1 | 2008 |
| TCPN 的组合可调度分析 李鹏， 李勋， 顾庆， 陈道蓄 计算机科学, 290-293, 2008 | 1 | 2008 |
| Vulnerability driven hybrid test system for application programs P Li, Y Zhang, T Wei US Patent 11,205,004, 2021 | | 2021 |
| 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 | | 2021 |
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
