How do I know my GPU or multicore floating point computations are correct?

Add to your list(s) Download to your calendar using vCal

• Miriam Leeser - Northeastern University
• Wednesday 01 June 2011, 13:00-14:00
• Computer Laboratory, William Gates Building, Room SS03.

If you have a question about this talk, please contact William Denman.

GPU and multicore architectures are often used to accelerate scientific applications that rely on floating point computation. Current techniques for verifying the correctness of these implementations are quite primitive. Scientists expect their floating point code to produce different results on different architectures, and as a result do not test their code thoroughly.

The talk will consider two case studies: a parallel implementation of Pi and a real world medical application used in cancer diagnosis. Through these case studies, the sources of differences in CPU and GPU codes will be identified. Issues of correctness, including control issues such as thread synchronization as well as issues of floating point correctness will be discussed. I will give a brief survey of tools available for addressing these issues and discuss current research directions in identifying bugs in GPU and multicore implementations.

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Automated Reasoning Group Lunches
• Computer Laboratory, William Gates Building, Room SS03
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.