utopia-group / TypeT5
Seq2seq Type Inference using Static Analysis and CodeT5
☆29Updated last year
Related projects ⓘ
Alternatives and complementary repositories for TypeT5
- ☆25Updated 3 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 8 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆102Updated 2 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- ☆15Updated 7 months ago
- ☆54Updated 11 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 10 months ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆73Updated 2 years ago
- Artefact for "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair."☆59Updated last year
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆122Updated this week
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 8 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆21Updated 9 months ago
- TeCo: an ML+Execution model for test completion☆27Updated 4 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆30Updated this week
- ☆29Updated 3 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆56Updated 8 months ago
- A toolkit for pre-processing large source code corpora☆46Updated 2 years ago
- ☆13Updated last year
- ☆33Updated 2 years ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆20Updated 11 months ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆61Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- ☆31Updated 3 weeks ago
- Artefact for our ICSE 2021 paper CURE: Code-Aware Neural Machine Translation for Automatic Program Repair☆50Updated last year
- The RunBugRun dataset of executable bugs☆23Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆35Updated 7 months ago
- ☆38Updated last year