A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs.

Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee

Browse the full PLDI paper archive.