Abstracting Runtime Heaps for Program Understanding (2012)

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

Documents Related by Co-Citation

28 Free-Me: A static analysis for automatic individual object reclamation – S Guyer, K McKinley, D Frampton - 2006
16 Sharing Analysis of Arrays, Collections, and Recursive Structures – Mark Marron, Deepak Kapur, Manuel Hermenegildo, et al. - 2008
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
36 Inferring aliasing and encapsulation properties for Java – K Ma, J Foster - 2007
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
65 Automatic pool allocation: improving performance by controlling data structure layout in the heap – Chris Lattner, Vikram Adve - 2005
19 Pick Your Contexts Well: Understanding Object-Sensitivity The Making of a Precise and Scalable Pointer Analysis – Yannis Smaragdakis, Martin Bravenboer
229 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
235 The DaCapo benchmarks: Java benchmarking development and analysis – S M Blackburn, R Garner, C Hoffman, A M Khan, K S McKinley, R Bentzur, A Diwan, D Feinberg, D Frampton, S Z Guyer, M Hirzel, A Hosking, M Jump, H Lee, J E B Moss, A Phansalkar, D Stefanović, T VanDrunen, D von Dincklage, B Wiedermann - 2006
89 Shape analysis for composite data structures – Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O’hearn, Hongseok Yang, Queen Mary - 2007
19 Precise reasoning for programs using containers – Isil Dillig, Thomas Dillig, Alex Aiken - 2011
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
4 Collecting a Heap of Shapes – Earl T. Barr, Christian Bird, Mark Marron - 2011
17 An abstract domain for analyzing heap-manipulating low-level software – Sumit Gulwani, Ashish Tiwari - 2007
34 Making context-sensitive points-to analysis with heap cloning practical for the real world – Chris Lattner, Andrew Lenharth, Vikram Adve - 2007
15 Heap analysis in the presence of collection libraries – Mark Marron, Darko Stefanovic, Manuel Hermenegildo, Deepak Kapur - 2007
194 Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C – R Ghiya, L Hendren - 1996
11 M.: Precise and compact modular procedure summaries for heap manipulating programs – I Dillig, T Dillig, A Aiken, Sagiv
21 Making sense of large heaps – N Mitchell, E Schonberg, G Sevitsky - 2009