Professor, School Of Computing

u0028245@utah.edu

Presentations

• ENERGY: Symbolic AD with conditionals for error and instability analysis, Workshop on Program Synthesis for Scientific Computing, Argonne (on Zoom), 08/04/2020
• ENERGY: The Grass is Really Green on the Other Side: Empirical vs. Rigorous in Floating-Point Precision Analysis, Reproducibility, Resilience , 05/07/2020