Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
☆22Mar 15, 2023Updated 3 years ago
Alternatives and similar repositories for BenchPress
Users that are interested in BenchPress are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Self-learning system/kernel programming tutorial originally designed for Programming Club.☆17Apr 23, 2022Updated 4 years ago
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- Deep learning program generator☆104Dec 4, 2023Updated 2 years ago
- Generator for MLIR files from known front-ends☆17Oct 31, 2023Updated 2 years ago
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Jul 22, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆39Sep 15, 2022Updated 3 years ago
- A BarrierPoint implementation: Automatically select representative regions of parallel applications☆15May 7, 2016Updated 10 years ago
- sketches for egg: a flexible, high-performance e-graph library☆33Sep 25, 2025Updated 11 months ago
- ☆20Jan 20, 2022Updated 4 years ago
- SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.☆11Jul 4, 2020Updated 6 years ago
- Memory consistency model checking and test generation library.☆15Oct 14, 2016Updated 9 years ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 10 months ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20May 9, 2022Updated 4 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆24Jul 7, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Modular, flexible, cross-platform workload profiling and characterization☆13Mar 1, 2021Updated 5 years ago
- ☆54Sep 23, 2020Updated 5 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- The Cubicle model checker☆14May 29, 2026Updated 3 months ago
- ☆17Dec 8, 2023Updated 2 years ago
- A LogGOPS (LogP, LogGP, LogGPS) Simulator and Simulation Framework☆16Aug 20, 2024Updated 2 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆16Mar 19, 2023Updated 3 years ago
- C++/MPI proxies for distributed training of deep neural networks.☆16Jun 18, 2022Updated 4 years ago
- [TBD] "m4: A Learned Flow-level Network Simulator" by Chenning Li, Anton A. Zabreyko, Om Chabra, Arash Nasr-Esfahany, Kevin Zhao, Pratees…☆21Jun 19, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Make nice plots with matplotlib.☆11Oct 8, 2019Updated 6 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Mar 5, 2021Updated 5 years ago
- ☆16Feb 5, 2024Updated 2 years ago
- A generalizable machine learning-based performance modeling framework.☆20Jun 9, 2025Updated last year
- ☆15May 13, 2022Updated 4 years ago
- ☆17Sep 20, 2021Updated 4 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- A fork of the EPCC OpenMP micro-benchmark suite with some improvements☆12Apr 27, 2017Updated 9 years ago
- PIRA - Automatic Instrumentation Refinement☆18Mar 28, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Jul 20, 2021Updated 5 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated 2 years ago
- RISC-V vector extension ISA simulation☆18Jun 11, 2019Updated 7 years ago
- A machine learning-based computer architecture simulator.☆24Aug 2, 2024Updated 2 years ago
- Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…☆16Jan 7, 2022Updated 4 years ago
- Optimize tensor program fast with Felix, a gradient descent autotuner.☆33Mar 5, 2026Updated 5 months ago
- Enhancing the convergence speed by 2x and improving the training success of Physics-Informed Neural Networks (PINNs).☆13Oct 14, 2024Updated last year