Active Bibliography

7 Safe Manual Memory Management in Cyclone – Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
14 Safe and flexible memory management in Cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2003
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
30 Experience with safe manual memory-management in cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2004
9 Memory Management for High-Performance Applications – Emery David Berger - 2002
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
SAFECODE: A PLATFORM FOR DEVELOPING RELIABLE SOFTWARE IN UNSAFE LANGUAGES BY – Dinakar Dhurjati
93 Language Support for Regions – David Gay, Alex Aiken - 2001
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru S─âlcianu, William Beebee, Jr., Martin Rinard - 2003
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
19 Memory safety without garbage collection for embedded applications – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2005
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000