Alternatives and similar repositories for paper-synthesizing-benchmarks

Users that are interested in paper-synthesizing-benchmarks are comparing it to the libraries listed below

• ChrisCummins / paper-end2end-dl

  View on GitHub
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆72Feb 10, 2023Updated 3 years ago
• ChrisCummins / clgen

  View on GitHub
  Deep learning program generator
  ☆106Dec 4, 2023Updated 2 years ago
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 6 years ago
• LUMII-Syslab / shuffle-exchange

  View on GitHub
  Code for reproducing key results in the paper "Neural Shuffle-Exchange Networks - Sequence Processing in O(n log n) Time" by Kārlis Freiv…
  ☆10Apr 10, 2020Updated 5 years ago
• exabounds / ibm-pisa

  View on GitHub
  IBM Platform-Independent Software Analysis
  ☆14Mar 12, 2018Updated 7 years ago
• dcdelia / tinyvm

  View on GitHub
  A simple VM to play with OSR in LLVM
  ☆15Jun 11, 2017Updated 8 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• beehive-lab / MaxSim

  View on GitHub
  A simulation platform for managed applications based on Maxine VM and ZSim
  ☆10Jun 19, 2017Updated 8 years ago
• caparrov / ERM

  View on GitHub
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Jul 5, 2017Updated 8 years ago
• vusec / safeinit

  View on GitHub
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26May 5, 2021Updated 4 years ago
• terraindata / frc

  View on GitHub
  A fast reference counting library for C++
  ☆25Jul 23, 2025Updated 6 months ago
• ilyasergey / reachability

  View on GitHub
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Nov 24, 2015Updated 10 years ago
• IT302 / cho

  View on GitHub
  CHO is a benchmark suite for OpenCL FPGA Accelerators
  ☆19Jun 18, 2017Updated 8 years ago
• michalpaszkowski / LLVM-Canon

  View on GitHub
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆31Apr 30, 2024Updated last year
• mjc92 / buffer_overrun_memory_networks

  View on GitHub
  ☆20Feb 20, 2017Updated 8 years ago
• InstLatx64 / AVX512_PopCnt

  View on GitHub
  AVX512 population count routines
  ☆23Aug 2, 2019Updated 6 years ago
• uwplse / memsynth

  View on GitHub
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Dec 6, 2021Updated 4 years ago
• CountOnes / hamming_weight

  View on GitHub
  C library to compute the Hamming weight of arrays
  ☆51Dec 9, 2018Updated 7 years ago
• boegel / MICA

  View on GitHub
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆62Feb 12, 2024Updated 2 years ago
• S2E / libcpu

  View on GitHub
  x86 Dynamic Binary Translator Library
  ☆34Dec 19, 2020Updated 5 years ago
• ChrisLidbury / CLSmith

  View on GitHub
  OpenCL extension for csmith.
  ☆27Nov 27, 2025Updated 2 months ago
• NicolasDenoyelle / Locality-Aware-Roofline-Model

  View on GitHub
  Instanciate the Cache Aware Roofline Model on single socket and multisocket systems.
  ☆27Feb 22, 2019Updated 6 years ago
• intelxed / mbuild

  View on GitHub
  python-based build system used for building XED
  ☆33Nov 24, 2025Updated 2 months ago
• rutgers-apl / alive-nj

  View on GitHub
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆33Jul 6, 2019Updated 6 years ago
• vusec / typesan

  View on GitHub
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆36May 5, 2021Updated 4 years ago
• cojocar / fuzzemu

  View on GitHub
  ☆39Oct 21, 2016Updated 9 years ago
• StanfordPL / strata

  View on GitHub
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆72Apr 11, 2016Updated 9 years ago
• gangtan / CPUmodels

  View on GitHub
  GoNative project: formal machines models in Coq
  ☆36Aug 3, 2017Updated 8 years ago
• kamou / pimp

  View on GitHub
  Triton based R2 plugin for concolic execution and total control
  ☆33Nov 26, 2018Updated 7 years ago
• mslatour / swype-js

  View on GitHub
  Javascript-powered Swype interface
  ☆16Apr 15, 2013Updated 12 years ago
• neopenx / Facial-Expression

  View on GitHub
  Facial-Expression Recognition with Deep Neural Networks
  ☆10Mar 6, 2016Updated 9 years ago
• baaesh / semeval19_task3

  View on GitHub
  Addressing Training-Test Class Distribution Mismatch in Conversational Classification for SemEval-2019 Task3 EmoContext
  ☆10Apr 9, 2019Updated 6 years ago
• DanePubliczneGovPl / ckanext-danepubliczne

  View on GitHub
  Layout and custom fields for DanePubliczne.gov.pl
  ☆10Dec 7, 2022Updated 3 years ago
• mc-imperial / dredd

  View on GitHub
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Oct 28, 2025Updated 3 months ago
• ereinha / SineKAN

  View on GitHub
  SineKAN: Kolmogorov-Arnold Networks Using Sinusoidal Activation Functions
  ☆15Dec 19, 2024Updated last year
• fabianp / ProxASAGA

  View on GitHub
  Proximal Asynchronous SAGA
  ☆13Nov 30, 2017Updated 8 years ago
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Updated this week
• tum-i4 / Oedipus

  View on GitHub
  A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.
  ☆11Jul 25, 2016Updated 9 years ago