-
Scalable Interprocedural Analysis: A Pragmatic Approach
Mark Marron, Ondrej Lhotak and Anindya Banerjee
In Submission
[
Paper (pdf)
]
-
Visualizing High-Level Heap Abstractions for Program Understanding and Debugging
Mark Marron, Cesar Sanchez and Zhendong Su
In Submission
[
Paper (pdf)
]
-
Shape Analysis with Reference Set Relations
Mark Marron, Rupak Majumdar, Darko Stefanovic and Deepak Kapur
In VMCAI 2010
[
Paper (pdf)
]
-
Program Analysis With Write Invariant Properties
Mark Marron, Manuel Hermenegildo and Ondrej Lhotak
In Submission
[
Paper (pdf)
]
-
Identification of Logically Related Heap Regions
Mark Marron, Deepak Kapur and Manuel Hermenegildo
In ISMM 2009
[
Paper (pdf)
]
-
Sharing Analysis of Arrays, Collections, and Recursive Structures
Mark Marron, Mario Mendez-Lojo, Manuel Hermenegildo, Darko Stefanovic and Deepak Kapur
In PASTE 2008
[
Paper (pdf)
]
-
Modeling the Heap: A Practical Approach
Mark Marron
Doctoral Dissertation
[
Paper (pdf)
]
-
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
Mark Marron, Darko Stefanovic, Deepak Kapur and Manuel Hermenegildo
In LCPC 2008
[
Paper (pdf)
]
-
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
Mark Marron, Manuel Hermenegildo, Deepak Kapur and Darko Stefanovic
In CC 2008
[
Paper (pdf)
]
-
Heap Analysis in the Presence of Collection Libraries
Mark Marron, Darko Stefanovic, Manuel Hermenegildo and Deepak Kapur
In PASTE 2007
[
Paper (pdf)
]
-
A Static Heap Analysis for Shape and Connectivity
Mark Marron, Deepak Kapur, Darko Stefanovic and Manuel Hermenegildo
In LCPC 2006
[
Paper (pdf)
]