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
• Concurrent/Parallel and Distributed System
• Program Testing and Debugging
• Security Vulnerability
• Software Engineering for AI (SE4AI)
• AI for Software Engineering (AI4SE)

Publications

(PhD student highlight with ‡, Master student highlight with *, Undergraduate highlight with †)

• Sanjib Kumar Sen‡, and Bozhen Liu. “Detecting Data Leaks in Multi-User LLM Apps via Automated User-Scoped Taint Analysis”. SOAP’26. preprint

• Sanjib Kumar Sen‡, Hanna Longoria†, and Bozhen Liu. “LIMA: Defining, Benchmarking and Detecting Cross-Layer Vulnerabilities in LLM Inference Frameworks”. WOOT’26. preprint

• Bozhen Liu, Onur Asan. “Human Factors in Open-Source Medical Software: Compliance Barriers, AI/LLM Adoption, and Community Dynamics”. Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care (HFES HCS 2026)

• Julia Gomezrangel*, Young Lee, Bozhen Liu. “Security in the Wild: An Empirical Analysis of LLM-Powered Applications and Local Inference Frameworks.” AIware 2025 preprint

• Julia Gomezrangel*, Alvaro Vazquez†, Young Lee, Kadir Alpaslan Demir and Bozhen Liu. “Rising Fast, Prone to Risk: How Open-Source LLM-Powered Apps Are Designed and Secured.” AIxSE 2025 preprint

• Young Lee, Ernesto Diaza*, Jeong Yanga and Bozhen Liu. “Enhancing Concurrency Bug Detection in Rust Programs Through LLVM IR Based Graph Visualization.” High-Confidence Computing (HCC) 2025

• Kadir Alpaslan Demir, Rohith Gadamsethy* and Bozhen Liu. “Generative AI for Software Engineering: Generative AI Effectiveness and Efficiency in Software Development Documentation.” AIxSE 2025

• Kadir Alpaslan Demir, Tarun Narasimha Varma Muppalla*, Bozhen Liu. “Generative AI Efficiency and Effectiveness in Software Project Documentation Review Process.” Proc. of International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA 2025).

• 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

Fundings

• CRII: SHF: Towards an Automated Distributed Concurrency Testing Framework for Rust

  • National Science Foundation:CISE:CCF
  • Role: PI
  • Amount: $174,470
  • Oct 2025 - Sep 2027

• Towards the Safety and Security Gap of Integrating LLMs into Software

  • CAHSI-Google Institutional Research Program
  • Role: PI (Co-PI: Dr. Young Lee@TAMU-SA)
  • Amount: $80,000 + $20,000 GCP
  • Sep 2024 - Aug 2025

• Cross-Language Pointer Analysis Enhanced by AI

  • Research Enhancement Funding Program@Division of Research and Innovation, TAMUCC
  • Role: PI (Co-PI: Dr. Taoran Ji@TAMUCC)
  • Amount: $5,677
  • Sep 2024 - Aug 2025

Services

• Activities
  • Program Committee @ SOAP 2026
  • Mentor and Judge for TAMUCC Island Hack (Hackthon) 2025
  • Mentor in Mentors within the PLMW 2024
  • Co-host Graduate Student Seminar in Department of Computer Science 2024
  • Faculty Search Committee: Department of Computer Science at TAMUCC 2023
• Reviewer:
  • International Journal of Computational Intelligence Systems 2026
  • The Journal of Supercomputing 2025
  • ACM Transactions on Software Engineering and Methodology (TOSEM) 2022/24/25
  • NSF Panel 2023
  • 2022 Artifact Evaluation Committee (AEC) for CGO 2018

Awards

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

Teaching

• COSC 6352: Advanced Operating Systems (Spring 2026)
• COSC 4360: Theory of Programming Languages (Fall 2023/24/25)
• COSC 2348: INTRODUCTION TO SCRIPTING (Spring 2026)
• COSC 1436: Introduction to Problem Solving with Computers II (Spring 2024/25)

Students

PhD

• Sanjib Kumar Sen
• Ahsan Habib

Master

• Sai Pushkar Sikharam
• Julia GomezRangel (graduated on Dec 2025)
• Ramya Sree Kanijam (graduated on Dec 2025)
• Koushik Reddy Kambham (graduated on May 2025)
• Dhruti Joshi (graduated on May 2024)

Undergraduate

• Hannah Longoria
• Alvaro Vazquez (graduated on May 2025)

Fun Websites

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