Sound, complete and scalable path-sensitive analysis.

Isil Dillig, Thomas Dillig, Alex Aiken

Browse the full PLDI paper archive.