Not registered as user yet

Name: Ian Briggs

Affiliation: School of Computing, University of Utah

Contributions

POPL 2017Author of Rigorous Floating-point Mixed Precision Tuning within the POPL-track