University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > How do I know my GPU or multicore floating point computations are correct?

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

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity