Vineet Singh, Rajiv Gupta, Iulian Neamtiu. MG++: Memory graphs for analyzing dynamic data structures. In Yann-Gaël Guéhéneuc, Bram Adams, Alexander Serebrenik, editors, 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015. pages 291-300, IEEE, 2015. [doi]
Abstract is missing.