SC13 Home > SC13 Schedule > SC13 Presentation - Automated Floating-point Program Analysis

SCHEDULE: NOV 16-22, 2013

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.

Automated Floating-point Program Analysis

SESSION: Doctoral Showcase - Dissertation Research

EVENT TYPE: Doctoral Showcase - Dissertation Research Showcase

TIME: 1:45PM - 2:00PM

SESSION CHAIR: Alistair Rendell

Presenter(s):Michael O. Lam


As scientific computation continues to scale, it is crucial to use floating-point arithmetic as efficiently as possible. Lower precision allows streaming architectures to perform more operations per second and can reduce memory bandwidth pressure. However, using a precision that is too low will result in inaccurate results. Thus, developers must balance speed and accuracy when choosing the floating-point precision of their subroutines and data structures. I have developed program analysis techniques to help developers learn about the runtime floating-point behavior of their programs, with the goal of helping them make decisions concerning the choice of precision in implementation. I have developed automated methods for cancellation detection, range tracking, mixed-precision configuration, mixed-precision search, and bit-level sensitivity analysis. This body of work improves the state of the field of program analysis and scientific computing by providing insights that were not previously available using automated analysis techniques.

Chair/Presenter Details:

Alistair Rendell (Chair) - Australian National University

Michael O. Lam - University of Maryland, College Park

Add to iCal  Click here to download .ics calendar file

Add to Outlook  Click here to download .vcs calendar file

Add to Google Calendarss  Click here to add event to your Google Calendar