Alternatives and similar repositories for memcov

Users that are interested in memcov are comparing it to the libraries listed below

• llm4code / 2024

  View on GitHub
  The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)
  ☆17Oct 4, 2024Updated last year
• ise-uiuc / neuri-artifact

  View on GitHub
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆32Nov 13, 2023Updated 2 years ago
• dpankratz / TVMFuzz

  View on GitHub
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆30May 24, 2020Updated 5 years ago
• ise-uiuc / FreeFuzz

  View on GitHub
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆82Nov 2, 2022Updated 3 years ago
• ise-uiuc / uniapr

  View on GitHub
  Fast and Precise On-the-fly Patch Validation for All
  ☆10Feb 24, 2023Updated 2 years ago
• ise-uiuc / tzer

  View on GitHub
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆71Mar 9, 2023Updated 2 years ago
• Jacob-yen / LEMON

  View on GitHub
  This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.
  ☆55Oct 29, 2023Updated 2 years ago
• wzh99 / GenCoG

  View on GitHub
  GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)
  ☆17Jul 19, 2023Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes

  View on GitHub
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Dec 21, 2022Updated 3 years ago
• ise-uiuc / blazedit

  View on GitHub
  Making code edting up to 7.7x faster using multi-layer speculation
  ☆24Feb 20, 2025Updated 11 months ago
• ise-uiuc / WhiteFox

  View on GitHub
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆77Aug 5, 2025Updated 6 months ago
• microsoft / verus-copilot-vscode

  View on GitHub
  ☆16Jan 23, 2026Updated 3 weeks ago
• claudeyj / patch_correctness

  View on GitHub
  ☆13May 19, 2024Updated last year
• persistz / attack-as-defense

  View on GitHub
  Code for ISSTA'21 paper 'Attack as Defense: Characterizing Adversarial Examples using Robustness'.
  ☆12Sep 4, 2021Updated 4 years ago
• ise-uiuc / NablaFuzz

  View on GitHub
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆27Mar 2, 2024Updated last year
• tensorscopepro / Tensorscope

  View on GitHub
  ☆11Nov 1, 2023Updated 2 years ago
• ise-uiuc / xft

  View on GitHub
  XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
  ☆35Jul 2, 2024Updated last year
• amazon-science / llm-code-preference

  View on GitHub
  Training and Benchmarking LLMs for Code Preference.
  ☆37Nov 15, 2024Updated last year
• ShenQingchao / QAQA

  View on GitHub
  This is the project repository of our ASE22 paper: Natural Test Generation for Precise Testing of Question Answering Software
  ☆14Dec 1, 2022Updated 3 years ago
• ise-uiuc / nnsmith

  View on GitHub
  Automated DNN generation for fuzz testing and more
  ☆143Jan 14, 2025Updated last year
• library-testing / Muffin

  View on GitHub
  This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
  ☆33Jun 17, 2022Updated 3 years ago
• wzh99 / relay-mlir

  View on GitHub
  An MLIR-based toy DL compiler for TVM Relay.
  ☆61Oct 16, 2022Updated 3 years ago
• Jacob-yen / GRIST

  View on GitHub
  This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…
  ☆15Oct 16, 2022Updated 3 years ago
• ise-uiuc / DeepREL

  View on GitHub
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆40May 17, 2023Updated 2 years ago
• seahorn / llvm-dsa

  View on GitHub
  LLVM DSA fork for SeaHorn
  ☆21Aug 17, 2019Updated 6 years ago
• aqjune / mlir-tv

  View on GitHub
  A translation validation framework for MLIR
  ☆92Mar 19, 2025Updated 10 months ago
• Intelligent-CAT-Lab / PLTranslationEmpirical

  View on GitHub
  Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…
  ☆51Apr 12, 2025Updated 10 months ago
• kensens / FrAngel

  View on GitHub
  A Java program synthesizer.
  ☆22Mar 28, 2019Updated 6 years ago
• ganler / SPTraining-VisionGroup

  View on GitHub
  ☆19Nov 7, 2019Updated 6 years ago
• microsoft / verus-proof-synthesis

  View on GitHub
  ☆75Jan 22, 2026Updated 3 weeks ago
• 01-ai / HumanEval.jl

  View on GitHub
  Evaluate LLM-synthesized @JuliaLang code.
  ☆26Aug 17, 2024Updated last year
• ganler / ResearchReading

  View on GitHub
  General system research material (not limited to paper) reading notes.
  ☆22Mar 17, 2021Updated 4 years ago
• crux-eval / eval-arena

  View on GitHub
  ☆33Feb 2, 2026Updated last week
• evalplus / repoqa

  View on GitHub
  RepoQA: Evaluating Long-Context Code Understanding
  ☆128Nov 1, 2024Updated last year
• surrealyz / verified-global-properties

  View on GitHub
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆28Dec 1, 2021Updated 4 years ago
• andygrove / sqlfuzz

  View on GitHub
  SQL Fuzz Testing Utilities
  ☆29Dec 19, 2023Updated 2 years ago
• masahi / torchscript-to-tvm

  View on GitHub
  ☆68Mar 4, 2023Updated 2 years ago
• Better-Call-Octagon / 22-fall-gre-ddl

  View on GitHub
  ☆26Aug 31, 2021Updated 4 years ago
• evo-eval / evoeval

  View on GitHub
  EvoEval: Evolving Coding Benchmarks via LLM
  ☆81Apr 6, 2024Updated last year