Mark Marron

I am now at Microsoft Research in Redmond please visit my new homepage for the latest info!

Research Summary I am a Researcher at the IMDEA Software Institute in Madrid Spain. The topics I am currently investigating are:

Program Analysis, in particular I am working on analysis methods for the following memory properties:

Software

Jakalope Heap Analysis Toolkit (link)
The Jackalope analysis toolkit is part of an ongoing research project into the construction of a general purpose toolkit for modeling and reasoning about the program heap. The goal is to provide a suite of powerful memory analysis tools that can be used to support cutting edge work on improved development environments, error detection techniques, program optimization, and debugging.
HeapDbg (link)
HeapDbg is designed to help you quickly and easily find and fix memory leaks or poor memory use in your C# code. This is done via taking snapshots of the program heap during execution and then, with specialized graphical representations, directly visualizing the results. This enables you to (1) see where all the memory in your program is being used, (2) to determine what the role of any structure is in the program, and (3) to see how a structure of interest is related to the rest of the objects in memory

Publications (selected)

From Relational Verification to SIMD Loop Synthesis
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Cesar Kunz, and Mark Marron
In PPOPP 2013 [ Paper (pdf) ]
Structural Analysis: Shape Information via Points-To Computation
Mark Marron
In arXiv Tech. Report [ Paper (pdf) ]
Abstracting Runtime Heaps for Program Understanding
Mark Marron, Cesar Sanchez, Zhendong Su, and Manuel Fahndrich
In IEEE TSE 2013 [ Paper (pdf) ]
Programming Paradigm Driven Heap Analysis
Mark Marron, Ondrej Lhotak and Anindya Banerjee
In CC 2012 [ Paper (pdf) ]
Collecting a Heap of Shapes
Earl T. Barr, Christian Bird and Mark Marron
In Microsoft Research Tech. Report [ 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) ]
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) ]
Heap Analysis in the Presence of Collection Libraries
Mark Marron, Darko Stefanovic, Manuel Hermenegildo and Deepak Kapur
In PASTE 2007 [ Paper (pdf) ]

About Me

I am from Albuquerque , New Mexico (in the USA).

I attended UC Berkeley and obtained a BA in Mathematics as an undergraduate student. For my Ph.D. work I returned to New Mexico and received my Ph.D. from the University of New Mexico under the supervision of Prof. Deepak Kapur.

I spent 2 years (2008-2010) as a Post Doc. at Imdea, followed by a brief time as a Visiting Researcher in the RiSE group at Microsoft Research in Redmond, before taking my current Researcher position at Imdea.