Cyclone: A Safe Dialect of C.

Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang

Browse the full USENIX paper archive.