 | 2012 |
| 15 |  | Mark Marron,
Ondrej Lhoták,
Anindya Banerjee:
Programming Paradigm Driven Heap Analysis.
CC 2012: 41-60 |
| 14 |  | Mark Marron:
Structural Analysis: Shape Information via Points-To Computation
CoRR abs/1201.1277: (2012) |
| 13 |  | Mark Marron,
Cesar Sanchez,
Zhendong Su,
Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding
CoRR abs/1201.1327: (2012) |
| 2011 |
| 12 |  | Pierre Ganty,
Mark Marron:
Preface.
Electr. Notes Theor. Comput. Sci. 279(1): 1 (2011) |
| 2010 |
| 11 |  | Mark Marron,
Rupak Majumdar,
Darko Stefanovic,
Deepak Kapur:
Shape Analysis with Reference Set Relations.
VMCAI 2010: 247-262 |
| 2009 |
| 10 |  | Mark Marron,
Deepak Kapur,
Manuel V. Hermenegildo:
Identification of logically related heap regions.
ISMM 2009: 89-98 |
| 2008 |
| 9 |  | Mark Marron,
Manuel V. Hermenegildo,
Deepak Kapur,
Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
CC 2008: 245-259 |
| 8 |  | Mark Marron,
Darko Stefanovic,
Deepak Kapur,
Manuel V. Hermenegildo:
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.
LCPC 2008: 94-108 |
| 7 |  | Mark Marron,
Mario Méndez-Lojo,
Manuel V. Hermenegildo,
Darko Stefanovic,
Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures.
PASTE 2008: 43-49 |
| 6 |  | Krister M. Swenson,
Mark Marron,
Joel V. Earnest-DeYoung,
Bernard M. E. Moret:
Approximating the true evolutionary distance between two genomes.
ACM Journal of Experimental Algorithmics 12: (2008) |
| 2007 |
| 5 |  | Mark Marron,
Darko Stefanovic,
Manuel V. Hermenegildo,
Deepak Kapur:
Heap analysis in the presence of collection libraries.
PASTE 2007: 31-36 |
| 2006 |
| 4 |  | Mark Marron,
Deepak Kapur,
Darko Stefanovic,
Manuel V. Hermenegildo:
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.
LCPC 2006: 345-363 |
| 2005 |
| 3 |  | Krister M. Swenson,
Mark Marron,
Joel V. Earnest-DeYoung,
Bernard M. E. Moret:
Approximating the True Evolutionary Distance between Two Genomes.
ALENEX/ANALCO 2005: 121-129 |
| 2004 |
| 2 |  | Mark Marron,
Krister M. Swenson,
Bernard M. E. Moret:
Genomic Distances under Deletions and Insertions.
Theor. Comput. Sci. 325(3): 347-360 (2004) |
| 2003 |
| 1 |  | Mark Marron,
Krister M. Swenson,
Bernard M. E. Moret:
Genomic Distances under Deletions and Insertions.
COCOON 2003: 537-547 |