![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
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. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsThe Blackett Society Sustainable Development: 11th Distinguished Lecture Series 2013 Environment on the Edge Lecture SeriesOther talksArt and Migration "Vectorbuilder: Revolutionising Vector Design & Custom Cloning" (25 min seminar) followed by "Advanced Technologies For Rapid Generation Of Custom Designed Animal Models" (25 min seminar) Adaptive Stochastic Galerkin Finite Element Approximation for Elliptic PDEs with Random Coefficients Making Refuge: Calais and Cambridge Production Processes Group Seminar - 'Re-thinking biosensors for resource-limited settings' 100 Problems around Scalar Curvature A polyfold lab report Alzheimer's talks LARMOR LECTURE - Exoplanets, on the hunt of Universal life "Epigenetic studies in Alzheimer's disease" |