🧐🔍👀 I am actively recruiting motivated PhD students for Fall 2024!

Education

• Ph.D in Computer Science, Texas A&M University, 2023
• M.S. in Computer Science, Texas A&M University, 2019
• M.E. in Mechanical Engineering, Cornell University, 2013
• B.S. in Vehicle Engineering, Beijing Institute of Technology, 2011

Research Interests

• Incremental Analysis
• Pointer Analysis
• Program Analysis
• Concurrent/Parallel and Distributed System
• Program Testing and Debugging
• Security Vulnerability

Publications

• 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

Fundings

• Cross-Language Pointer Analysis Enhanced by AI
  • Research Enhancement Funding Program@Division of Research and Innovation, TAMUCC
  • Role: PI
  • Amount: $5,677
  • Sep 2024 - Aug 2025

Services

• Activities
  • Faculty Search Committee: Department of Computer Science at TAMUCC 2023
  • Co-host Graduate Student Seminar in Department of Computer Science 2024
• Reviewer:
  • NSF Panel 2023
  • ACM Transactions on Software Engineering and Methodology (TOSEM)
  • 2022 Artifact Evaluation Committee (AEC) for CGO 2018

Awards

• 2023 PhD Awards from Department of Computer Science, TAMU
• PLMW@PLDI’18 scholarship

Teaching

• COSC 1436 Introduction to Problem Solving with Computers II (Spring 2024)
• COSC4360 Theory of Programming Languages (Fall 2024)

Students

Master

• Dhruti Joshi

Undergraduate

• Verdon Ojadi

Fun Websites

• PLSE Conferences: includes all levels of PL, SE conferences
• phdcommics.com: fun facts about PhD lives