Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker
13 days ago
- #Scientific Computing
- #Compiler Tools
- #Floating-Point Analysis
- 2026年6月22日（欧洲/柏林时间上午9:00至下午1:00）在CCH – 汉堡会议中心X12厅举行的半日教程。
- 介绍FPChecker框架及clang/LLVM工具，用于检测C/C++代码以分析浮点运算错误，包括舍入效应和误差传播。
- 涵盖评估动态范围和精度要求、跟踪跨代码区域的误差，以及在线性求解器和有限差分方法等示例中检测无穷值/非数值。
- 包括通过Conda分发工具和预配置AWS实例进行实践操作，以及针对实际应用或库应用工具的高级环节。