Greg Morrisett Mooly Sagiv Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007 978-1-59593-893-0 ISMM ACM 2007 db/conf/iwmm/ismm2007.html