Tutorial sobre FPChecker: análisis y perfilado de errores en coma flotante con compilador
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
