Automated verification of practical garbage collectors.

Chris Hawblitzel, Erez Petrank

Browse the full POPL paper archive.