@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"
}