Sparse flow-sensitive pointer analysis for multithreaded programs.

Yulei Sui, Peng Di, Jingling Xue

Browse the full CGO paper archive.