3 citations · 7 across the 9 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.PL2012★ 1 cited
Abstracting Runtime Heaps for Program Understanding
Mark Marron, Cesar Sanchez, Zhendong Su +1
Modern programming environments provide extensive support for inspecting, analyzing, and testing programs based on the algorithmic structure of a program. Unfortunately, support fo…
cs.PL2012★ 3 cited
Structural Analysis: Shape Information via Points-To Computation
Mark Marron
This paper introduces a new hybrid memory analysis, Structural Analysis, which combines an expressive shape analysis style abstract domain with efficient and simple points-to style…