Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Marron, Mark - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)
High-Level Heap Abstractions for Debugging Programs Mark Marron1 Cesar Sanchez1 Zhendong Su2
Scalable Interprocedural Analysis A Pragmatic Approach
Sharing Analysis of Arrays, Collections, and Recursive Structures Mark Marron1 Mario Mendez-Lojo1
Shape Analysis with Reference Set Relations Mark Marron1, Rupak Majumdar2, Darko Stefanovic3, and Deepak Kapur3
Identification of Logically Related Heap Regions Mark Marron1 Deepak Kapur2 Manuel Hermenegildo1
Program Analysis With Write Invariant Properties Mark Marron1, Manuel Hermenegildo1, and Ondrej Lhotak2
Modeling The Heap: A Practical Approach Mark Marron
Identification of HeapCarried Data Dependence Via Explicit Store Heap Models
Heap Analysis in the Presence of Collection Libraries Mark Marron1 Darko Stefanovic1 Manuel Hermenegildo1,2 Deepak Kapur1
