Jon Rafkind Adam Wick John Regehr Matthew Flatt Precise garbage collection for C. 39-48 2009 ISMM http://doi.acm.org/10.1145/1542431.1542438 conf/iwmm/2009 db/conf/iwmm/ismm2009.html#RafkindWRF09