Mark Marron, Ph.D.
Affiliations: | 2008 | University of New Mexico, Albuquerque, NM, United States |
Area:
Computer ScienceGoogle:
"Mark Marron"Parents
Sign in to add mentor| Deepak Kapur | grad student | 2008 | Univ. of New Mexico | |
| (Modeling the heap: A practical approach.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Barr ET, Bird C, Marron M. (2013) Collecting a heap of shapes 2013 International Symposium On Software Testing and Analysis, Issta 2013 - Proceedings. 123-133 |
| Marron M, Sanchez C, Su Z, et al. (2013) Abstracting runtime heaps for program understanding Ieee Transactions On Software Engineering. 39: 774-786 |
| Marron M, Lhoták O, Banerjee A. (2012) Programming paradigm driven heap analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7210: 41-60 |
| Marron M, Majumdar R, Stefanovic D, et al. (2010) Shape analysis with reference set relations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5944: 247-262 |
| Marron M, Kapur D, Hermenegildo M. (2009) Identification of logically related heap regions International Symposium On Memory Management, Ismm. 89-98 |
| Marron M, Méndez-Lojo M, Hermenegildo M, et al. (2008) Sharing analysis of arrays, collections, and recursive structures Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 43-49 |
| Marron M, Stefanovic D, Kapur D, et al. (2008) Identification of heap-carried data dependence via explicit store heap models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5335: 94-108 |
| Marron M, Hermenegildo M, Kapur D, et al. (2008) Efficient context-sensitive shape analysis with graph based heap models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4959: 245-259 |
| Marron M, Stefanovic D, Hermenegildo M, et al. (2007) Heap analysis in the presence of collection libraries Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 31-36 |