tud-ccc / compy-learn

Related projects: ⓘ

• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, published in ACM TACO
  ☆79Updated last week
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• jordiae / exebench
  ☆22Updated 2 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆24Updated 4 years ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆72Updated last year
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆16Updated last year
• tud-ccc / learning-compiler-graphs
  ☆13Updated 4 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated last year
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆29Updated 4 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆37Updated 8 months ago
• ucb-bar / autophase
  ☆28Updated 2 years ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated last year
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated last year
• ithemal / DiffTune
  ☆16Updated 2 years ago
• uiuc-arc / probfuzz
  ProbFuzz: A Framework for Testing Probabilistic Programming Systems
  ☆8Updated 5 years ago
• jyao15 / G-CLN
  ☆10Updated last year
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆86Updated 4 years ago
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 5 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated 8 months ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆82Updated 3 years ago
• DependableSystemsLab / LLTFI
  LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…
  ☆29Updated 3 weeks ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆39Updated 2 weeks ago
• utpalbora / LLOV
  LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
  ☆20Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆35Updated this week
• FP-Analysis / atomic-condition
  ☆21Updated 4 years ago
• csl-iisc / iGUARD-SOSP21
  ☆19Updated 3 months ago
• marcelwa / CEGIS
  Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
  ☆44Updated 7 years ago
• library-testing / Muffin
  This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
  ☆29Updated 2 years ago