MAGPIE: PRECISE GARBAGE COLLECTION FOR C (2006)

Cached

Download Links

by Adam Wick , John Regehr , Gary Lindstrom , Wilson Hsieh , R. Kent Dybvig , Martin Berzins , David S. Chapman
Citations:1 - 1 self

Documents Related by Co-Citation

2 A Technique for Tracing Memory Leaks in C++ – Steven J. Beaty - 1994
4 Checkmate: Cornering C++ Dynamic Memory Errors With Checked Pointers – Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth
4 A non-fragmenting nonmoving, garbage collector – Gustavo Rodriguez-rivera, Michael Spertus, Charles Fiterman - 1998
7 Mooly Sagiv. Detecting memory errors via static pointer analysis – Nurit Dor, Michael Rodeh - 1998
11 JavaOS: A Standalone Java Environment – Sun Microsystems - 1996
18 Fixing Some Space Leaks without a Garbage Collector – Jan Sparud - 1993
6 Accurate garbage collection in uncooperative environments with lazy pointer stacks – J. Baker, A. Cunei, T. Kalibera, F. Pizlo, J. Vitek
2 Supporting precise garbage collection in java bytecode-to-c ahead-of-time compiler for embedded systems – Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, JongKuk Park - 2006
18 On the Usefulness of Type and Liveness Accuracy for Garbage Collection – Martin Hirzel, Amer Diwan, Johannes Henkel - 2002
26 Comparing Mostly-Copying and Mark-Sweep Conservative Collection – Frederick Smith, Greg Morrisett - 1998
38 Tag-free garbage collection for strongly typed programming languages – Benjamin Goldberg - 1991
51 Memory Safety Without Runtime Checks or Garbage Collection – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2003
80 A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector – David L. Heine, Monica S. Lam - 2003
405 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
319 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
625 Compiling With Continuations – A W Appel - 1992
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
60 Proper Tail Recursion and Space Efficiency – William D. Clinger - 1998
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002