Publications

• Identification of Logically Related Heap Regions
  Mark Marron, Deepak Kapur and Manuel Hermenegildo
  In Submission [ Paper (pdf) ]

• Modeling the Heap: A Practical Approach
  Mark Marron
  Doctoral Dissertation [ 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) ]

• 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) ]

• Dominance: Modeling Heap Structures with Sharing
  Mark Marron, Rupak Majumdar, Darko Stefanovic and Deepak Kapur
  In Submission. [ Report (pdf) Updated Version (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) ]