Parallelizing top-down interprocedural analyses.

Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani

Browse the full PLDI paper archive.