Workshop: 9th International Workshop on Software Correctness for HPC Applications (Correctness '25)
Authors: Esteban M. Rangel (Argonne National Laboratory (ANL)) and S. John Pennycook (Intel Corporation)
Abstract: We present early work towards establishing an automated workflow for numerical error analysis of SYCL kernels. The method leverages the OpenCL Intercept Layer to record the execution of GPU-targeted SYCL kernels and replay them with CPU runtimes, enabling detailed floating-point error evaluation without modifying the original application. We analyze the force kernel from a large-scale cosmology application code (HACC) using PoCL and Verificarlo, exploring both IEEE-compliant configurations and reduced-precision modes (\eg, FP16, TF32, BF16), as well as the effects of the \texttt{-ffast-math} compiler optimization using stochastic arithmetic via MCA and PRISM. By leveraging open tools and standards, this work contributes a reusable path toward broader adoption of numerical accuracy evaluation in HPC.
Back to 9th International Workshop on Software Correctness for HPC Applications (Correctness '25) Archive Listing Back to Full Workshop Archive Listing