FPChecker es un marco de análisis asistido por compilador, basado en clang/LLVM, que instrumenta código en C y C++ para exponer el comportamiento de la aritmética en coma flotante y detectar fuentes de error numérico. El taller, de media jornada, se celebrará el 22 de junio de 2026, entre las 9:00 y las 13:00, en el Congress Center Hamburg (sala Hall X12, primera planta), en el marco de la conferencia ISC. La formación está pensada para desarrolladores e investigadores de computación científica que necesiten portar aplicaciones a precisiones menores —mitad o simple— para ganar rendimiento y eficiencia energética, algo cada vez más habitual en aceleradores y GPUs.
A lo largo de la sesión, los asistentes aprenderán a evaluar los requisitos de rango dinámico y precisión, seguir la propagación de errores de redondeo entre regiones del código y detectar valores no finitos (infinitos y NaN) provocados por límites numéricos. La parte práctica incluye ejemplos con solvers lineales y métodos de diferencias finitas, ejecutables en los portátiles de los participantes. En un bloque avanzado, se anima a aplicar las herramientas a aplicaciones propias o a bibliotecas numéricas de uso extendido. Todas las herramientas y ejemplos se distribuirán mediante paquetes Conda, y se ofrecerán instancias de AWS preconfiguradas para quienes no puedan instalarlas en local.