2 papers
cs.SE2024
Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
Ignacio Laguna, Patrick Chapman, Konstantinos Parasyris +2
We present a randomized differential testing approach to test OpenMP implementations. In contrast to previous work that manually creates dozens of verification and validation tests…
math.NA2024
Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs
Anwar Hossain Zahid, Ignacio Laguna, Wei Le
As scientific codes are ported between GPU platforms, continuous testing is required to ensure numerical robustness and identify numerical differences. Compiler-induced numerical d…