Write a Blog >>
Scala 2017
Sun 22 - Mon 23 October 2017 Vancouver, Canada
co-located with SPLASH 2017
SPLASH 2017 (series) / Scala 2017 (series) / Andrew Rice
Andrew Rice

Registered user since Mon 18 Feb 2019

Name: Andrew Rice

Affiliation: University of Cambridge, UK

Contributions

SPLASH 2017Author of Detecting Argument Selection Defects within the OOPSLA-track
Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track
Show activities from other conferences

SPLASH 2017-profile
View general profile