Securing unsafe rust programs with XRust P Liu, G Zhao, J Huang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 42 | 2020 |
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 | 22 | 2021 |
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 | 19 | 2020 |
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 | 6 | 2021 |
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 | 5 | 2022 |
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 | 1 | 2019 |
Faster and More Precise Pointer Analysis Algorithms for Automatic Bug Detection P Liu Texas A&M University, 2022 | | 2022 |