Garbage collection for monitoring parametric properties.

Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu

Browse the full PLDI paper archive.