The information in this page may be outdated, as Mark Marron is currently not a member of the Institute.
He received his Ph.D. from the University of New Mexico under the supervision of Deepak Kapur. He joined the IMDEA Software Institute as a postdoctoral researcher in June 2008 and after a temporary leave as a Visiting Researcher at Microsoft Research in Seattle he rejoined the Institute as a researcher in September 2010.
His research interests are on developing practical techniques for modeling program behavior and using this information to support error detection and optimization applications. His work to date has focused on the development of static analysis for the program heap which infers region, sharing, footprint and heap based data-dependence information. More recent work has focused on using the information extracted by the analysis to support program parallelization,memory management, error detection, and software engineering applications.
Please visit my homepage
Program analysis, optimization and error detection. Development of static analysis techniques that are capable of providing accurate information about the behaviour of a program, in particular the program heap.