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

540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
490 Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software – James Newsome, Dawn Song - 2005
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
648 Pin: building customized program analysis tools with dynamic instrumentation – Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa, Reddi Kim Hazelwood - 2005
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
1111 Proof-Carrying Code – George C. Necula - 1997
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
480 StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks – Crispin Cowan, Calton Pu, Dave Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang - 1998
Memory accounting wwithout partitions – Adam Wick, Matthew Flatt - 2004