Region-Based Memory Management in Cyclone ∗ Dan Grossman Greg Morrisett Trevor Jim† Michael Hicks Yanling Wang James Cheney Computer Science Department Cornell University Ithaca, NY 14853 {danieljg,jgm,mhicks,wangyl,jcheney}@cs.cornell.edu †AT&T Labs Research 180 Park Avenue Florham Park, NJ 07932 trevor@research.att.com ABSTRACT Cyclone is a type-safe programming language derived from C. The prim