Scalable context-sensitive flow analysis using instantiation constraints.

Manuel Fhndrich, Jakob Rehof, Manuvir Das

Browse the full PLDI paper archive.