neboat / cilkbench
Cilk application benchmark programs
☆10Updated 2 years ago
Alternatives and similar repositories for cilkbench:
Users that are interested in cilkbench are comparing it to the libraries listed below
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 8 months ago
- The Splash-3 benchmark suite☆43Updated last year
- A Shared Memory Multithreaded Graph Benchmark Suite for Multicores☆34Updated 2 years ago
- The Chronos FPGA Framework to accelerate ordered applications☆22Updated 4 years ago
- ILA Model Database☆22Updated 4 years ago
- Automata Benchmark Suite☆20Updated last year
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- ☆19Updated 2 years ago
- NOELLE Offers Empowering LLVM Extensions☆77Updated 2 weeks ago
- Pono: A flexible and extensible SMT-based model checker☆92Updated last month
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- An out-of-tree MLIR dialect template.☆98Updated 6 months ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- EQueue Dialect☆40Updated 3 years ago
- Transforming Graphs for Efficient Irregular Graph Processing on GPUs☆47Updated 2 years ago
- Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].☆17Updated 5 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- Chai☆43Updated last year
- A Comprehensive Benchmark Suite for Graph Computing☆67Updated 6 years ago
- ☆52Updated 5 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- Artifact for PPoPP 2018 paper "Making Pull-Based Graph Processing Performant"☆23Updated 4 years ago
- Time-sensitive affine types for predictable hardware generation☆142Updated 7 months ago
- Pannotia v0.9 is a suite of OpenCL graph applications☆23Updated 7 years ago
- A fast and scalable x86-64 multicore simulator☆31Updated 4 years ago
- Reads a state transition system and performs property checking☆76Updated 2 weeks ago
- ☆23Updated this week
- ☆40Updated 3 years ago
- CGRA Compilation Framework☆83Updated last year
- ordspecsim: The Swarm architecture simulator☆24Updated 2 years ago