Softwares
List of software linked with my research.
- FP-ANR: Library of operators to handle floating-point cancellation at run-time.
- ExBLAS: Exact (fast, accurate, and reproducible) BLAS library.
- GPUBurn: GPUBurn: Reliable Computation on Unreliable Hardware.
- FuzzyGPU: Fuzzy arithmetic library written in CUDA.
- IntervalGPU: Interval arithmetic operators for the CUDA SDK.
- BARRA: Simulator of CUDA programs at the assembly language level.
- GPU4RE: Line-by-line spectroscopic simulations on graphics processing units.
- CRLIBM: CR-LIBM, a portable, efficient, correctly rounded mathematical library.
- SCSLIB: Software Carry-Save (SCS) Library, a fast and lightweight multiple-precision library.
- Verificarlo: A tool for debugging and assessing floating point precision and reproducibility.