GC assertions: using the garbage collector to check heap properties.

Edward Aftandilian, Samuel Z. Guyer

Browse the full PLDI paper archive.