Michael W. Hicks J. Gregory Morrisett Dan Grossman Trevor Jim Experience with safe manual memory-management in cyclone. 73-84 2004 conf/iwmm/2004 ISMM http://doi.acm.org/10.1145/1029873.1029883 db/conf/iwmm/ismm2004.html#HicksMGJ04