Not registered as user yet

Name: Matthew Danish

Affiliation: University of Cambridge, UK

Contributions

SPLASH 2017Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track