Rethinking Incremental and Parallel Pointer Analysis

Published in ACM Transactions on Programming Languages and Systems (TOPLAS), 2018

We discuss the existing incremental and parallel pointer analyses and the state-of-the art techniques. We proposes an super efficient incremental pointer analysis for Java programs, which can be massively paralleled to further improve the performance.

Recommended citation: Huang, Jeff. Liu, Bozhen. (2018). "Rethinking Incremental and Parallel Pointer Analysis." TOPLAS.

D4: fast concurrency debugging with parallel differential analysis.

Published in Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2018

This paper present D4, a fast concurrency analysis framework that detects concurrency bugs interactively in the programming phase.

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