D4: fast concurrency debugging with parallel differential analysis B Liu, J Huang ACM SIGPLAN Notices 53 (4), 359-373, 2018 | 47 | 2018 |
Rethinking incremental and parallel pointer analysis B Liu, J Huang, L Rauchwerger ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 1-31, 2019 | 31 | 2019 |
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 | 20 | 2021 |
Sword: A scalable whole program race detector for java Y Li, B Liu, J Huang 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 19 | 2019 |
Sharp: Fast incremental context-sensitive pointer analysis for java B Liu, J Huang Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022 | 13 | 2022 |
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 |
Continuous Reasoning of Large Complex Software via Incremental Analysis B Liu Texas A&M University, 2023 | | 2023 |
An Instantaneous Framework For Concurrency Bug Detection B Liu | | 2019 |