tud-ccc / compy-learn

Related projects ⓘ

Alternatives and complementary repositories for compy-learn

• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆84Updated this week
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆24Updated 5 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• ucb-bar / autophase
  ☆29Updated 2 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆85Updated 3 years ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆72Updated last year
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated last year
• jyao15 / G-CLN
  ☆12Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• wzh99 / GenCoG
  GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)
  ☆14Updated last year
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆29Updated 4 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated 11 months ago
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆73Updated 2 years ago
• ise-uiuc / nnsmith
  Automatic DNN generation for fuzzing and more
  ☆120Updated 8 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated last year
• ithemal / DiffTune
  ☆16Updated 2 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆36Updated 11 months ago
• pdlan / OSCAR
  Code for ICML 2021 paper: How could Neural Networks understand Programs?
  ☆122Updated 2 weeks ago
• tud-ccc / learning-compiler-graphs
  ☆13Updated 4 years ago
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆30Updated last year
• ChrisCummins / ProGraML
  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
  ☆304Updated 6 months ago
• uiuc-arc / probfuzz
  ProbFuzz: A Framework for Testing Probabilistic Programming Systems
  ☆8Updated 6 years ago
• lipeng28 / Gklee
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆16Updated 9 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆43Updated this week
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 2 years ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆20Updated 5 years ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆91Updated 4 years ago