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

10 Compiler-directed run-time monitoring of program data access – Chen Ding, Yutao Zhong - 2002
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
24 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
7 Mooly Sagiv. Detecting memory errors via static pointer analysis – Nurit Dor, Michael Rodeh - 1998
1 Supporting precise garbage collection in Java bytecodeto-C ahead-of-time compiler for embedded systems – Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, JongKuk Park - 2006
16 On the Usefulness of Type and Liveness Accuracy for Garbage Collection – Martin Hirzel, Amer Diwan, Johannes Henkel - 2002
11 JavaOS: A Standalone Java Environment – Sun Microsystems - 1996
18 Fixing Some Space Leaks without a Garbage Collector – Jan Sparud - 1993
53 Proper Tail Recursion and Space Efficiency – William D. Clinger - 1998
392 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
72 A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector – David L. Heine, Monica S. Lam - 2003
103 Space Efficient Conservative Garbage Collection – Hans-juergen Boehm - 1993
274 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
595 Compiling with Continuations – Andrew Appel - 1992
286 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
39 Memory Safety Without Runtime Checks or Garbage Collection – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2003