Abstracting Runtime Heaps for Program Understanding (2012)

by Mark Marron , Cesar Sanchez , Zhendong Su , Manuel Fahndrich
Citations:5 - 4 self

Active Bibliography

1 Abstracting Runtime Heaps for Program Understanding – Mark Marron, Cesar Sanchez, Zhendong Su Manuel Fahndrich
2 High-level heap abstractions for debugging programs – Mark Marron, Cesar Sanchez, Zhendong Su - 2010
1 Structural Analysis: Shape Information via Points-To Computation – Mark Marron - 2012
2 Heap Analysis Design: An Empirical Approach – Mark Marron
7 Identification of Logically Related Heap Regions – Mark Marron, Deepak Kapur, Manuel Hermenegildo
unknown title – Earl T. Barr, Christian Bird Mark Marron
7 Heapviz: Interactive Heap Visualization for Program Understanding and Debugging – Edward E. Aftandilian, Nathan Ricci, Sean Kelley, Sara L. Su, Connor Gramazio, Samuel Z. Guyer
5 PHALANX: Parallel Checking of Expressive Heap Assertions – Martin Vechev, Eran Yahav, Greta Yorsh - 2010
Exploiting Virtual Machine Infrastructure To Implement Low-Overhead Error Checking Tools – unknown authors - 2012
12 Dynamic Architecture Extraction – Cormac Flanagan, Stephen N. Freund - 2006
16 Sharing Analysis of Arrays, Collections, and Recursive Structures – Mark Marron, Deepak Kapur, Manuel Hermenegildo, et al. - 2008
The MTSA Program Analysis System – Mark Marron
18 Object Ownership Profiling: A Technique for Finding and Fixing Memory Leaks – Derek Rayside, Lucy Mendel - 2007
4 Collecting a Heap of Shapes – Earl T. Barr, Christian Bird, Mark Marron - 2011
Scalable Interprocedural Analysis -- A Pragmatic Approach – Mark Marron, Anindya Banerjee, et al. - 2009
6 Dynamic shape analysis via degree metrics – Maria Jump, Kathryn S. Mckinley - 2009
4 Componentized heap abstraction – N. Rinetzky, G. Ramalingam, E. Yahav, M. Sagiv - 2006
14 Efficient context-sensitive shape analysis with graph based heap models – Mark Marron, Manuel Hermenegildo, Deepak Kapur, Darko Stefanovic - 2008
1 Abstract – F. Godtliebsen, J. S. Marron, P. Chaudhuri - 1999