Andrew Rice -

Registered user since Mon 18 Feb 2019

Name: Andrew Rice

Country: United Kingdom

Affiliation: University of Cambridge, UK

Personal website: https://www.cl.cam.ac.uk/~acr31

Research interests: Software engineering, Program analysis, Build systems, Machine learning

Contributions

HATRA 2020	Author of Guiding user annotations for units-of-measure verification within the HATRA-track
ICSE 2019	Author of Detecting Incorrect Build Rules within the Technical Track-track Author of Analyzing and Repairing Compilation Errors within the Posters-track
SPLASH 2017	Author of Detecting Argument Selection Defects within the OOPSLA-track Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track