Cork: dynamic memory leak detection for garbage-collected languages.

Maria Jump, Kathryn S. McKinley

Browse the full POPL paper archive.