Compare less, defer more: scaling value-contexts based whole-program heap analyses.

Manas Thakur, V. Krishna Nandivada

Browse the full CC paper archive.