pdlan / OSCAR
Code for ICML 2021 paper: How could Neural Networks understand Programs?
☆123Updated 3 months ago
Alternatives and similar repositories for OSCAR:
Users that are interested in OSCAR are comparing it to the libraries listed below
- ☆58Updated last year
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆89Updated this week
- Contrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning☆165Updated 3 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆28Updated 4 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- Recent Advances in Programming Language Pre-Trained Models (PL-PTMs)☆58Updated 3 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆88Updated 4 years ago
- Hoppity☆59Updated 4 years ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆32Updated 6 years ago
- TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)☆87Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆74Updated 2 years ago
- GitHub Cloner & Compiler☆60Updated 3 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆209Updated 2 months ago
- CFG based program similarity using Graph Neural Networks☆35Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- Probabilistic Type Inference using Graph Neural Networks☆48Updated 2 years ago
- [ICSE 2021] - InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees☆89Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆69Updated last year
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆64Updated 2 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆41Updated last year
- A Tree-Based Transformer Architecture for Code Generation. (AAAI'20)☆90Updated 2 years ago
- ☆40Updated 2 years ago
- ☆16Updated 4 months ago
- ☆25Updated 3 years ago
- ☆33Updated 2 years ago
- A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations☆305Updated 8 months ago
- ☆95Updated 3 months ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 years ago