@inproceedings{jin-meredith-griffith-rosu-2011-pldi, author = "Jin, Dongyun and Meredith, Patrick O'Neil and Griffith, Dennis and Ro\c{s}u, Grigore", publisher = "ACM", title = "Garbage Collection for Monitoring Parametric Properties", booktitle = "Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'11)", month = "June", year = "2011", pages = "415-424" }