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

Active Bibliography

Memory accounting wwithout partitions – Adam Wick, Matthew Flatt - 2004
3 Reachability-Based Memory Accounting – Adam Wick, Matthew Flatt, Wilson Hsieh - 2002
7 Garbage collector memory accounting in language-based systems – David W. Price, Algis Rudys, Dan S. Wallach - 2002
1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
67 Safemem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs – Feng Qin, Shan Lu, Yuanyuan Zhou - 2005
6 Accurate garbage collection in uncooperative environments with lazy pointer stacks – J. Baker, A. Cunei, T. Kalibera, F. Pizlo, J. Vitek
Discovering Heap Anomalies in the Wild Committee: – Maria Eva Jump, Kathryn S Mckinley, Stephen M Blackburn, Lizy K John, Calvin Lin, Dewayne E Perry
9 Incremental Mature Garbage Collection – Steffen Grarup, Jacob Seligmann - 1993
9 Extensible virtual machines – Timothy L. Harris - 2001
27 Portable Resource Control in Java - The J-SEAL2 Approach – Walter Binder, Jarle G. Hulaas - 2001
32 Termination in Language-based Systems – Algis Rudys, John Clements, Dan S. Wallach - 2002
2 Secure and Reliable Java-Based Middleware -- Challenges and Solutions – Walter Binder - 2006
2 Program transformations for light-weight cpu accounting and control in the java virtual machine. Higher Order Symbol – Jarle Hulaas, Walter Binder - 2008
1 PRACTICAL LOW-OVERHEAD ENFORCEMENT OF MEMORY SAFETY FOR C PROGRAMS – Santosh Ganapati Nagarakatte
Ironclad C++ A Library-Augmented Type-Safe Subset of C++ – Christian Delozier, Richard Eisenberg, Santosh Nagarakatte, Peter-michael Osera, Milo M. K. Martin, Steve Zdancewic - 2013
2 Precise Garbage Collection for C – Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
19 Memory safety without garbage collection for embedded applications – Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner - 2005
3 Runtime countermeasures for code injection attacks against C and C++ programs – Yves Younan, Wouter Joosen, Frank Piessens