soarlab / FPTuner
Rigorous Floating-Point Mixed-Precision Tuner
☆13Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for FPTuner
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆34Updated 8 years ago
- ☆18Updated 9 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆15Updated 9 months ago
- ☆16Updated 5 years ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago
- Memory consistency modelling using Alloy☆28Updated 3 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- A standard for floating point accuracy benchmarks☆44Updated 2 weeks ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆42Updated 5 years ago
- A multicore microprocessor test harness for measuring interference☆13Updated 4 years ago
- A collection of benchmarks and tests for the Patmos processor and compiler☆16Updated 2 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 4 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆11Updated 3 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 4 years ago
- ☆33Updated 2 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆23Updated last year
- CERE: Codelet Extractor and REplayer☆41Updated last year
- Liveness-driven random C code generator☆41Updated 4 months ago
- A repository to test dialects defined dynamically.☆12Updated last year
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 9 years ago
- ☆48Updated 8 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆70Updated 3 years ago
- ☆37Updated this week
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- A model checker based on SAT solving and induction☆13Updated 9 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆27Updated 2 months ago
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago