Bozhen Liu

According to our database, Bozhen Liu authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Asserting Frame Properties.

Yoonsik Cheon, Bozhen Liu, Carlos E. Rubio-Medrano

Proceedings of the 19th International Conference on Software Technologies, 2024

2022

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

Bozhen Liu, Jeff Huang

Proc. ACM Program. Lang., 2022

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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

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

Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021

2019

Rethinking Incremental and Parallel Pointer Analysis.

Bozhen Liu, Jeff Huang, Lawrence Rauchwerger

ACM Trans. Program. Lang. Syst., 2019

SWORD: a scalable whole program race detector for Java.

Yanze Li, Bozhen Liu, Jeff Huang

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

D4: fast concurrency debugging with parallel differential analysis.

Bozhen Liu, Jeff Huang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018