ise-uiuc / nnsmith

Related projects ⓘ

Alternatives and complementary repositories for nnsmith

• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆30Updated last year
• ShenQingchao / DLCstudy
  This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
  ☆23Updated last year
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆29Updated 4 years ago
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆73Updated 2 years ago
• wzh99 / GenCoG
  GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)
  ☆14Updated last year
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 2 years ago
• library-testing / Muffin
  This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
  ☆30Updated 2 years ago
• tlc-pack / tenset
  ☆90Updated 2 years ago
• UofT-EcoSystem / DietCode
  DietCode Code Release
  ☆61Updated 2 years ago
• buaa-hipo / dlcompiler-comparison
  The quantitative performance comparison among DL compilers on CNN models.
  ☆75Updated 4 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆43Updated last month
• thu-pacman / PET
  PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections
  ☆114Updated 2 years ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆13Updated last year
• mlc-ai / docs
  The documents for TVM Unity
  ☆11Updated 3 months ago
• Jacob-yen / LEMON
  This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.
  ☆54Updated last year
• wzh99 / relay-mlir
  An MLIR-based toy DL compiler for TVM Relay.
  ☆53Updated 2 years ago
• pku-liang / AMOS
  Automatic Mapping Generation, Verification, and Exploration for ISA-based Spatial Accelerators
  ☆103Updated 2 years ago
• pku-liang / MAGIS
  MAGIS: Memory Optimization via Coordinated Graph Transformation and Scheduling for DNN (ASPLOS'24)
  ☆44Updated 5 months ago
• zhaiyi000 / tlm
  ☆30Updated 4 months ago
• gongbell / CUDAsmith
  A CUDA compiler fuzzer
  ☆22Updated last year
• csl-iisc / iGUARD-SOSP21
  ☆19Updated 5 months ago
• tsinghua-ideal / Canvas
  Canvas: End-to-End Kernel Architecture Search in Neural Networks
  ☆13Updated this week
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆9Updated 7 months ago
• buddy-compiler / buddy-benchmark
  Benchmark Framework for Buddy Projects
  ☆46Updated 3 weeks ago
• sgrauerg / polybenchGpu
  ☆22Updated 11 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆49Updated last year
• humuyan / Korch
  ASPLOS'24: Optimal Kernel Orchestration for Tensor Programs with Korch
  ☆29Updated 3 months ago