Safe manual memory management in cyclone (2006)

by Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
Venue:Science of Computer Programming (SCP