Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

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.