Wed 20 Jun 2018 16:10 - 16:35 at Grand Ballroom CD - Floats and Maps Chair(s): Hans-J. Boehm

Floating-point arithmetic plays a central role in science, engineering, and finance by enabling developers to approximate real arithmetic. To address numerical issues in large floating-point applications, developers must identify root causes, which is difficult because floating-point errors are generally non-local, non-compositional, and non-uniform.

This paper presents Herbgrind, a tool to help developers identify and address root causes in numerical code written in low-level languages like C/C++ and Fortran. Herbgrind dynamically tracks dependencies between operations and program outputs to avoid false positives and abstracts erroneous computations to simplified program fragments whose improvement can reduce output error. We perform several case studies applying Herbgrind to large, expert-crafted numerical programs and show that it scales to applications spanning hundreds of thousands of lines, correctly handling the low-level details of modern floating point hardware and mathematical libraries and tracking error across function boundaries and through the heap.

Wed 20 Jun

pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Floats and Maps at Grand Ballroom CD
Chair(s): Hans-J. BoehmGoogle
pldi-2018-papers16:10 - 16:35
Talk
Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington
Media Attached
pldi-2018-papers16:35 - 17:00
Talk
Ulf AdamsGoogle, Germany
Media Attached
pldi-2018-papers17:00 - 17:25
Talk
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached