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

Manas Thakur, V. Krishna Nandivada. Compare less, defer more: scaling value-contexts based whole-program heap analyses. In José Nelson Amaral, Milind Kulkarni 0001, editors, Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019. pages 135-146, ACM, 2019. [doi]

Abstract

Abstract is missing.