SCHEDULE: NOV 16-21, 2014

When viewing the Technical Program schedule, on the far righthand side is a column labeled "PLANNER." Use this planner to build your own schedule. Once you select an event and want to add it to your personal schedule, just click on the calendar icon of your choice (outlook calendar, ical calendar or google calendar) and that event will be stored there. As you select events in this manner, you will have your own schedule to guide you through the week.

ENTIRE WEEK SUNDAY MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY

Floating-Point Robustness Estimation by Concrete Testing

SESSION: ACM Student Research Competition Poster Reception

EVENT TYPE: ACM Student Research Competition

TIME: 5:15PM - 7:00PM

AUTHOR(S):Wei-Fan Chiang

ROOM:New Orleans Theater Lobby

ABSTRACT:

Analyzing floating-point imprecision is required for dealing with the performance-precision trade-off of numerical programming. However, without specific mathematical knowledge, this is hard to be done by general developers.
We focus on solving one of the many floating-point precision issues, robustness estimation, by concrete testing. Programs without sufficient robustness tend to generate unexpected outputs, but developers cannot tune their programs without knowing the robustness degrees of candidate routines. Our testing driven framework estimates robustness by enumerating the inputs causing non-robust behavior. The number of problematic inputs indicates robustness degree and provides a comparison basis between candidate routines. We evaluated our framework with two implementations of a geometric primitive: one of the two implementations is pointed out to be more robust than another.
This empirical result matches the robustness argument in the previous context.
Thus we strongly believe that it is worthy to further investigate concrete testing based robustness estimation.