|
2
|
High-level heap abstractions for debugging programs
– Mark Marron, Cesar Sanchez, Zhendong Su
- 2010
|
|
|
Structural Analysis: Shape Information via Points-To Computation
– Mark Marron
- 1201
|
|
3
|
Heapviz: Interactive Heap Visualization for Program Understanding and Debugging
– Edward E. Aftandilian, Nathan Ricci, Sean Kelley, Sara L. Su, Connor Gramazio, Samuel Z. Guyer
|
|
4
|
Identification of Logically Related Heap Regions
– Mark Marron, Deepak Kapur, Manuel Hermenegildo
|
|
11
|
Dynamic Architecture Extraction
– Cormac Flanagan, Stephen N. Freund
- 2006
|
|
12
|
Sharing Analysis of Arrays, Collections, and Recursive Structures
– Mark Marron, Deepak Kapur, Manuel Hermenegildo, et al.
- 2008
|
|
|
The MTSA Program Analysis System
– Mark Marron
|
|
11
|
Object Ownership Profiling: A Technique for Finding and Fixing Memory Leaks
– Derek Rayside, Lucy Mendel
- 2007
|
|
|
Scalable Interprocedural Analysis -- A Pragmatic Approach
– Mark Marron, Anindya Banerjee, et al.
- 2009
|
|
|
Sharing Analysis of Arrays, Collections, and Recursive Structures
– unknown authors
|
|
4
|
Componentized heap abstraction
– N. Rinetzky, G. Ramalingam, E. Yahav, M. Sagiv
- 2006
|
|
12
|
Efficient context-sensitive shape analysis with graph based heap models
– Mark Marron, Manuel Hermenegildo, Deepak Kapur, Darko Stefanovic
- 2008
|
|
|
Disjointness Analysis for Java-Like Languages
– James C. Jenista, Brian Demsky
- 2009
|
|
11
|
Designing an algorithm for role analysis
– Viktor Kuncak
- 2001
|
|
33
|
Interprocedural shape analysis for cutpoint-free programs
– Noam Rinetzky, Mooly Sagiv, Eran Yahav
- 2005
|
|
18
|
Distinctness and Sharing Domains for Static Analysis of Java Programs
– Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
- 2001
|
|
106
|
TVLA: A System for Implementing Static Analyses
– Tal Lev-Ami, Mooly Sagiv
- 2000
|
|
|
Tracking Data Structures for Postmortem Analysis (NIER Track)
– Xiao Xiao, Jinguo Zhou, Charles Zhang
|
|
34
|
Checking Cleanness in Linked Lists
– Nurit Dor, Michael Rodeh, Mooly Sagiv
- 2000
|
