efeslab/asplos22-hardware-debugging-artifact external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

efeslab/asplos22-hardware-debugging-artifact

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/efeslab/asplos22-hardware-debugging-artifact)

Close

efeslab / asplos22-hardware-debugging-artifactView on GitHubMore

• External links
• Readme badge

☆13Jun 12, 2024Updated last year

Alternatives and similar repositories for asplos22-hardware-debugging-artifact

Users that are interested in asplos22-hardware-debugging-artifact are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• efeslab / hardware-bugbase

  View on GitHub
  ☆20Jun 12, 2024Updated last year
• batchenRothenberg / AllRepair

  View on GitHub
  ☆11Mar 8, 2021Updated 5 years ago
• TruX-DTF / PatchParser

  View on GitHub
  A tool of collecting patch-related commits and parsing patches.
  ☆13Dec 2, 2018Updated 7 years ago
• comsec-group / encarsia

  View on GitHub
  ☆28Mar 31, 2025Updated 11 months ago
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆12Feb 24, 2026Updated 3 weeks ago
• hammad-a / verilog_repair

  View on GitHub
  Automated Repair of Verilog Hardware Descriptions
  ☆37Jan 16, 2025Updated last year
• DehengYang / TransplantFix

  View on GitHub
  ☆14Feb 2, 2023Updated 3 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• petablox / popl2020-tutorial

  View on GitHub
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Jan 20, 2020Updated 6 years ago
• zeinaabuaisheh / Anytime_Graph_Edit_Distance

  View on GitHub
  ☆10Nov 25, 2019Updated 6 years ago
• DehengYang / awesome-program-repair-tools

  View on GitHub
  ☆26Nov 2, 2025Updated 4 months ago
• kwz219 / NPR4J

  View on GitHub
  ☆19Nov 12, 2025Updated 4 months ago
• yuntongzhang / vulnfix

  View on GitHub
  Program Vulnerability Repair via Inductive Inference
  ☆21Dec 21, 2023Updated 2 years ago
• ekiwi / rtl-repair

  View on GitHub
  Fast Symbolic Repair of Hardware Design Code
  ☆33Jan 20, 2025Updated last year
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• ASSERT-KTH / RewardRepair

  View on GitHub
  Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123
  ☆25Dec 19, 2022Updated 3 years ago
• PL-ML / metal

  View on GitHub
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Feb 18, 2019Updated 7 years ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• codinuum / cca

  View on GitHub
  Code Continuity Analysis Framework
  ☆23Mar 3, 2025Updated last year
• Adobee / ACS

  View on GitHub
  Accurate Condition Synthesis
  ☆20Aug 3, 2022Updated 3 years ago
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 6 months ago
• cure-lab / DeepGate2

  View on GitHub
  ☆15May 24, 2023Updated 2 years ago
• VulnLoc / VulnLoc

  View on GitHub
  ☆34Nov 11, 2021Updated 4 years ago
• ASSERT-KTH / SelfAPR

  View on GitHub
  repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926
  ☆29Mar 4, 2024Updated 2 years ago
• lijwen2748 / simplecar

  View on GitHub
  ☆18Nov 9, 2022Updated 3 years ago
• Mudit7 / CUDA-ResNet

  View on GitHub
  ☆13May 8, 2020Updated 5 years ago
• AutoBench / AutoBench

  View on GitHub
  ☆39Apr 11, 2025Updated 11 months ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• daniellustig / pipecheck

  View on GitHub
  ☆20Dec 29, 2014Updated 11 years ago
• AutomatedProgramRepair-2021 / dear-auto-fix

  View on GitHub
  ☆30Sep 16, 2021Updated 4 years ago
• gipsyh / rIC3

  View on GitHub
  Hardware Formal Verification Tool
  ☆90Mar 14, 2026Updated last week
• jamesbornholt / ocelot

  View on GitHub
  A synthesis-enabled solver for relational logic
  ☆29Apr 30, 2018Updated 7 years ago
• Deepak42074 / Sky130-RTL-Design-And-Synthesis-Using-Verilog

  View on GitHub
  ☆18May 5, 2022Updated 3 years ago
• Feng-Jay / GiantRepair

  View on GitHub
  Artifact for TOSEM Submission: GiantRepair
  ☆13Jun 26, 2024Updated last year
• Intel-tensorflow / oneDNN

  View on GitHub
  oneAPI Deep Neural Network Library (oneDNN)
  ☆13Jun 17, 2025Updated 9 months ago
• nus-apr / CrashRepair

  View on GitHub
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆19Sep 12, 2024Updated last year