A Computational Graph Generator for AI Compiler Fuzzing
☆16May 31, 2023Updated 2 years ago
Alternatives and similar repositories for HirGen
Users that are interested in HirGen are comparing it to the libraries listed below
Sorting:
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Jul 19, 2023Updated 2 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Mar 9, 2023Updated 2 years ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆23Aug 15, 2023Updated 2 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- ☆11Nov 1, 2023Updated 2 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30May 24, 2020Updated 5 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Oct 23, 2023Updated 2 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- ☆91Sep 10, 2023Updated 2 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- 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
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Nov 13, 2023Updated 2 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- A CUDA compiler fuzzer☆30Oct 12, 2023Updated 2 years ago
- Automated DNN generation for fuzz testing and more☆144Jan 14, 2025Updated last year
- Simple grammar-based test case generator☆40Mar 2, 2026Updated last week
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Jul 19, 2022Updated 3 years ago
- Data Hiding in Image☆10Apr 9, 2020Updated 5 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆40Mar 23, 2021Updated 4 years ago
- cs142, web application☆11Jun 24, 2017Updated 8 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A Grand Sumo prediction game☆10Updated this week
- CUDA-accelerated reconstruction for 3D-structured-illumination☆12Nov 24, 2025Updated 3 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- 基于原Demo添加了活体检测☆11Jul 18, 2019Updated 6 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 9 months ago
- Pixel-realignment based self-supervised reconstruction for structured illumination microscopy☆10Jan 15, 2024Updated 2 years ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 4 months ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year