Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthew Danish
conf.researchr.org general profile
SPLASH 2017 profile
SPLASH 2020 profile
Not registered as user
Name:
Matthew Danish
Affiliation:
University of Cambridge, UK
Contributions
2020
HATRA
Author of Guiding user annotations for units-of-measure verification within the HATRA-track
2017
SPLASH
Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track
Share
x
Mon 16 Jun 08:53