ChrisCummins / ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
β316Updated 10 months ago
Alternatives and similar repositories for ProGraML:
Users that are interested in ProGraML are comparing it to the libraries listed below
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddingsβ92Updated 2 weeks ago
- π "End-to-end Deep Learning of Optimization Heuristics" (π₯ PACT'17 Best Paper)β73Updated 2 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semanticsβ211Updated 4 months ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loopsβ¦β93Updated 2 years ago
- Automatic DNN generation for fuzzing and moreβ129Updated 3 months ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?β123Updated 5 months ago
- β31Updated 3 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.β23Updated last year
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)β.β70Updated 2 years ago
- β33Updated 2 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programsβ20Updated 2 years ago
- β14Updated 4 years ago
- π¨βπ» My PhD.β187Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVMβ28Updated 4 years ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTAβ23)β16Updated last year
- Python interface for MLIR - the Multi-Level Intermediate Representationβ248Updated 4 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)β77Updated 2 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"β83Updated 3 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.β30Updated 2 years ago
- Simple passes for CFG and DFG analysisβ43Updated 5 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) δΊθΏεΆζθ ζΊη 转CGF& DFGβ42Updated 5 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime valuesβ138Updated 4 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)β146Updated 3 years ago
- Implementation of the paper "Language-agnostic representation learning of source code from structure and context".β169Updated 3 years ago
- A CUDA compiler fuzzerβ25Updated last year
- β91Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. Wβ¦β88Updated 3 years ago
- The quantitative performance comparison among DL compilers on CNN models.β74Updated 4 years ago
- NOELLE Offers Empowering LLVM Extensionsβ77Updated this week
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Arβ¦β26Updated 4 years ago