tjt7a / AutomataZoo
Automata Benchmark Suite
☆20Updated last year
Alternatives and similar repositories for AutomataZoo:
Users that are interested in AutomataZoo are comparing it to the libraries listed below
- ☆19Updated 2 years ago
- VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, …☆36Updated 10 months ago
- High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regula…☆32Updated last year
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 6 months ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 9 months ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- A PIM instrumentation, compilation, execution, simulation, and evaluation repository for BLIMP-style architectures.☆18Updated 2 years ago
- Cilk application benchmark programs☆10Updated 2 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- ☆24Updated 4 years ago
- EQueue Dialect☆40Updated 3 years ago
- ☆23Updated 3 years ago
- A unified programming framework for high and portable performance across FPGAs and GPUs☆11Updated last week
- ☆28Updated 2 years ago
- The Chronos FPGA Framework to accelerate ordered applications☆22Updated 4 years ago
- A Shared Memory Multithreaded Graph Benchmark Suite for Multicores☆35Updated 2 years ago
- ☆18Updated 2 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆10Updated this week
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Public Release of Stream-Dataflow☆14Updated 5 years ago
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆31Updated 10 months ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated last month
- FPGA synthesis tool powered by program synthesis☆41Updated 4 months ago
- ☆24Updated last year
- ordspecsim: The Swarm architecture simulator☆24Updated 2 years ago
- Polyhedral High-Level Synthesis in MLIR☆30Updated 2 years ago
- Stencil with Optimized Dataflow Architecture Compiler☆16Updated 4 years ago
- HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)☆17Updated 6 months ago
- A fast and scalable x86-64 multicore simulator☆31Updated 4 years ago