Li Peng

Li Peng

TikTok (ByteDance) - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4524656
tiktok（bytedance）
person_outline Li Peng's MOST POPULAR ARTICLES
1-) Understanding integer overflow in C/C++W Dietz, P Li, J Regehr, V AdveACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-29, 20152332015
2-) Savior: Towards bug-driven hybrid testingY Chen, P Li, J Xu, S Guo, R Zhou, Y Zhang, T Wei, L Lu2020 IEEE Symposium on Security and Privacy (SP), 1580-1596, 20201872020
3-) GKLEE: concolic verification and test generation for GPUsG Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP RajanProceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 20121822012
4-) T-check: bug finding for sensor networksP Li, J RegehrProceedings of the 9th ACM/IEEE International Conference on Information …, 20101292010
5-) SpecuSym: Speculative symbolic execution for cache timing leak detectionS Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z ZuoProceedings of the ACM/IEEE 42nd International Conference on Software …, 2020602020