CV

Download CV

Research Interest

Incremental Analysis, Pointer Analysis, Program Analysis, Concurrent and Distributed System, Program Testing and Debugging, Security Vulnerability.

Education

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

Publications (Link to Google Scholar)

D4: fast concurrency debugging with parallel differential analysis.

Liu, Bozhen. Huang, Jeff. (2018). "D4: fast concurrency debugging with parallel differential analysis." PLDI.

Rethinking Incremental and Parallel Pointer Analysis

Liu, Bozhen. Huang, Jeff. Rauchwerger, Lawrence. "Rethinking Incremental and Parallel Pointer Analysis." TOPLAS.

Sword: A scalable whole program race detector for java.

Li, Yanze, Bozhen Liu, and Jeff Huang. (2019). "Sword: A scalable whole program race detector for java." ICSE-Companion.

When Threads Meet Events: Efficient and Precise Static Race Detection with Origins.

Liu, Bozhen, 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." PLDI.

OpenRace: An Open Source Framework for Statically Detecting Data Races.

Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang. (2021). "OpenRace: An Open Source Framework for Statically Detecting Data Races." SC Correctness 2021.

SHARP: fast incremental context-sensitive pointer analysis for Java.

Liu, Bozhen, and Jeff Huang. (2022). "SHARP: fast incremental context-sensitive pointer analysis for Java." OOSPLA.

Open Source

• D4
• Incremental Points-to Analysis

Industry Experience

• Software Engineer Intern @ Coderrect Inc (Summer 2021).
  • Work on OpenRace: a static data race detection tool for OpenMP programs, achieved the 2nd on DataRaceBench.

Honors & Awards

• PLMW@PLDI’18 scholarship

Teaching Experience

• Teaching assistant for CSCE 110: Programming I, Texas A&M University. (Fall.2017)
• Teaching assistant for CSCE 222: Discrete Structures for Computing, Texas A&M University. (Spring.2017)

Service

• Artifact Evaluation Committee - Artifact Evaluation Committee (AEC) for CGO’18
• Sub-reviewer - ICSE, LCPC, PLDI, PPoPP, FSE, TPDS, STVR

Skills

• Programming Language: Java, Solidity, Go, C/C++, Python, Ruby, JavaScript, CSS
• Framework/Application: WALA, Eclipse, CLion, Intellij, GoLand
• Operating System: UNIX, Linux