๐ง๐๐ I am actively recruiting motivated PhD students for Fall 2024!
Bozhen Liu and Dhruti Joshi. 2024. GoGuard: Efficient Static Blocking Bug Detection for Go. International Static Analysis Symposium (SAS 2024). preprint
Yoonsik Cheon, Bozhen Liu and Carlos Rubio-Medrano. 2024. Asserting Frame Properties. Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT 2024. https://doi.org/10.5220/0012786600003753
Bozhen Liu and Jeff Huang. 2022. SHARP: fast incremental context-sensitive pointer analysis for Java. Proc. ACM Program. Lang. 6, OOPSLA1, Article 88 (April 2022), 28 pages. https://doi.org/10.1145/3527332
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang. 2021. When threads meet events: efficient and precise static race detection with origins. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery, New York, NY, USA, 725โ739. https://doi.org/10.1145/3453483.3454073
Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang, โOpenRace: An Open Source Framework for Statically Detecting Data Races,โ 2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness), St. Louis, MO, USA, 2021, pp. 25-32, doi: 10.1109/Correctness54621.2021.00009.
Yanze Li, Bozhen Liu, and Jeff Huang. 2019. SWORD: a scalable whole program race detector for Java. In Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (ICSE โ19). IEEE Press, 75โ78. https://doi.org/10.1109/ICSE-Companion.2019.00042
Bozhen Liu, Jeff Huang, and Lawrence Rauchwerger. 2019. Rethinking Incremental and Parallel Pointer Analysis. ACM Trans. Program. Lang. Syst. 41, 1, Article 6 (March 2019), 31 pages. https://doi.org/10.1145/3293606
Bozhen Liu and Jeff Huang. 2018. D4: fast concurrency debugging with parallel differential analysis. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018). Association for Computing Machinery, New York, NY, USA, 359โ373. https://doi.org/10.1145/3192366.3192390