Full Name
Tanmay Tirpankar
Speaker Bio
I am pursuing a Ph.D. in Computer Science at the University of Utah with a research focus on floating-point analysis. My work is concerned with developing static and dynamic analysis tools to quantify, track and correct numerical errors. To that end, I am utilizing LLVM to automate the quantification and tracking part. I have made contributions to the development of worst-case error estimating tools like Satire and Seesaw as well as exception detectors like FPChecker.
Speaking At
