soarlab / FPTuner
Rigorous Floating-Point Mixed-Precision Tuner
☆13Updated 4 years ago
Alternatives and similar repositories for FPTuner:
Users that are interested in FPTuner are comparing it to the libraries listed below
- 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
- ☆16Updated 5 years ago
- Memory consistency modelling using Alloy☆28Updated 4 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 4 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆45Updated 5 years ago
- ☆28Updated 2 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- ☆40Updated this week
- A standard for floating point accuracy benchmarks☆47Updated last week
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- Liveness-driven random C code generator☆41Updated 7 months ago
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 3 years ago
- ☆19Updated 10 years ago
- RTLCheck☆18Updated 6 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆107Updated last year
- Library to plot integer sets and maps☆49Updated 8 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆38Updated 3 years ago
- FPGA synthesis tool powered by program synthesis☆38Updated 2 months ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated 11 months ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- A framework that helps implementing swizzle GPU kernels☆42Updated 4 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- CoreIR Symbolic Analyzer☆63Updated 4 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆91Updated 9 years ago