1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2018★ 1 cited
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Flow- and context-sensitive points-to analysis is difficult to scale; for top-down approaches, the problem centers on repeated analysis of the same procedure; for bottom-up approac…
cs.DC2013
Mapping the Join Calculus to Heterogeneous Hardware
Peter Calvert, Alan Mycroft
As modern architectures introduce additional heterogeneity and parallelism, we look for ways to deal with this that do not involve specialising software to every platform. In this…