BEGIN:VCALENDAR PRODID:-//Microsoft Corporation//Outlook MIMEDIR//EN VERSION:2.0 BEGIN:VEVENT DTSTART:20151117T231500Z DTEND:20151118T010000Z LOCATION:Level 4 - Lobby DESCRIPTION;ENCODING=QUOTED-PRINTABLE:ABSTRACT: Reducing floating-point precision allocation in HPC programs is of considerable interest from the point of view of obtaining higher performance. =0AHowever, this can lead to unexpected behavioral deviations from the programmer's intent.=0AIn this paper, we focus on the problem of divergence detection: when a given floating-point program exhibits different control flow (or differs in terms of other discrete outputs) with respect to the same program interpreted under reals.=0AThis problem has remained open even for everyday programs such as those that compute convex-hulls. =0AWe propose a classification of the divergent behaviors exhibited by programs, and propose efficient heuristics to generate inputs causing divergence.=0AOur experimental results demonstrate that our input generation heuristics are far more efficient than random input generation for divergence detection, and can exhibit divergence even for programs with thousands of inputs. SUMMARY:Practical Floating-Point Divergence Detection PRIORITY:3 END:VEVENT END:VCALENDAR