Program Analysis, in particular I am working on analysis methods for the follwing memory properties:
Shape analysis
Region analysis
Identifying memory carried dependencies
Static estimation of object lifetimes
Integrating scalar analysis and heap analysis techniques
Automatic Program Parallelization
Memory Management
Publications
Conferences and Workshops
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
Mark Marron, Manuel Hermenegildo, Deepak Kapur and Darko Stefanovic
In CC 2008, Budapest.
[
Paper (pdf)
]
Heap Analysis in the Presence of Collection Libraries
Mark Marron, Darko Stefanovic, Manuel Hermenegildo and Deepak Kapur
In PASTE 2007, San Diego.
[
Paper (pdf)
]
A Static Heap Analysis for Shape and Connectivity
Mark Marron, Deepak Kapur, Darko Stefanovic and Manuel Hermenegildo
In LCPC 2006, New Orleans.
[
Paper (pdf)
]
Link to Deepak's static analysis class reading list, Reading List.
Research From My Past Life
When I started at UNM I had the pleasure of working with
Bernard Moret and
Krister Swenson
on an interesting problem in phylogeny reconstruction.
Genomic Distances Under Insertions and Deletions
Mark Marron, Krister Swenson and Bernard Moret Journal of Theoretical Computer Science (TCS'04)
[
Paper (pdf)
]
Approximating the True Evolutionary Distance Between Two Genomes
Krister Swenson, Mark Marron, Joel Earnest-DeYoung and Bernard Moret Proceedings of the 7th Workshop on Algorithm Engineering and Experiments (ALENEX'05), Vancouver.
[
Paper (pdf)
]