Posts by Collection

portfolio

publications

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. https://parasol.tamu.edu/people/jeff/academic/d4.pdf

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. https://april1989.github.io/

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.