Bozhen Liu

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 6

Top Topics

Memory Efficient

Statistical Analysis

Detection Method

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

ACM Trans. Program. Lang. Syst.

Publications

Bozhen Liu, Jeff Huang
SHARP: fast incremental context-sensitive pointer analysis for Java. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang
When threads meet events: efficient and precise static race detection with origins. PLDI (2021)
Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang
OpenRace: An Open Source Framework for Statically Detecting Data Races. Correctness@SC (2021)
Yanze Li, Bozhen Liu, Jeff Huang
SWORD: a scalable whole program race detector for Java. ICSE (Companion Volume) (2019)
Bozhen Liu, Jeff Huang, Lawrence Rauchwerger
Rethinking Incremental and Parallel Pointer Analysis. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Bozhen Liu, Jeff Huang
D4: fast concurrency debugging with parallel differential analysis. PLDI (2018)