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

SWORD: a scalable whole program race detector for Java. - Yanze Li; Bozhen Liu; Jeff Huang 001 (ICSE (Companion Volume), 2019)

Rethinking Incremental and Parallel Pointer Analysis. - Bozhen Liu; Jeff Huang 001; Lawrence Rauchwerger (ACM Trans. Program. Lang. Syst., 2019)

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

When threads meet events: efficient and precise static race detection with origins. - Bozhen Liu; Peiming Liu; Yanze Li; Chia-Che Tsai; Dilma Da Silva; Jeff Huang 001 (PLDI, 2021)

SHARP: fast incremental context-sensitive pointer analysis for Java. - Bozhen Liu; Jeff Huang 001 (Proc. ACM Program. Lang., 2022)

Asserting Frame Properties. - Yoonsik Cheon; Bozhen Liu; Carlos E. Rubio-Medrano (ICSOFT, 2024)

GoGuard: Efficient Static Blocking Bug Detection for Go. - Bozhen Liu; Dhruti Joshi (SAS, 2024)