Dolores Miao

Dolores Miao

she/her

Doctoral Candidate in Computer Science at University of California, Davis

Talks and presentations

Tools to Detect and Diagnose Floating-Point Errors in Heterogeneous Computing Hardware and Software

November 16, 2025

Tutorial, America's Center Convention Complex, St. Louis, MO, USA

More information here
As assistant, I will present FloatGuard, a unique tool that detects exceptions in AMD GPUs. The tutorial is aimed at helping programmers avoid exception bugs; for this, we will demonstrate our tools on simple examples with seeded bugs. Attendees may optionally install and run our tools. The tutorial also allocates question/answer time to address real situations faced by the attendees.

Tools to Diagnose and Repair Floating-Point Errors in Heterogeneous Computing Hardware and Software

November 17, 2024

Tutorial, Georgia World Congress Center, Atlanta, GA, USA

More information here
As assistant, I presented the tool Ciel, which pinpoints where compilers silently over-optimize and cause non-reproducibility. We demonstrated our tools on simple examples with seeded bugs. Attendees may optionally install and run our tools. The tutorial also allocates question/answer time to address real situations faced by the attendees.