关注
Peiming Liu
Peiming Liu
Software Engineer, Google Research
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Securing unsafe rust programs with XRust
P Liu, G Zhao, J Huang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
422020
When threads meet events: efficient and precise static race detection with origins
B Liu, P Liu, Y Li, CC Tsai, D Da Silva, J Huang
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
222021
Ompracer: A scalable and precise static race detector for openmp programs
B Swain, Y Li, P Liu, I Laguna, G Georgakoudis, J Huang
SC20: International Conference for High Performance Computing, Networking …, 2020
192020
OpenRace: An open source framework for statically detecting data races
B Swain, B Liu, P Liu, Y Li, A Crump, R Khera, J Huang
2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC …, 2021
62021
Pus: A fast and highly efficient solver for inclusion-based pointer analysis
P Liu, Y Li, B Swain, J Huang
Proceedings of the 44th International Conference on Software Engineering …, 2022
52022
Tagging wearable accelerometers in camera frames through information translation between vision sensors and accelerometers
A Akbari, P Liu, BJ Mortazavi, R Jafari
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
12019
Faster and More Precise Pointer Analysis Algorithms for Automatic Bug Detection
P Liu
Texas A&M University, 2022
2022
系统目前无法执行此操作,请稍后再试。
文章 1–7