utopia-group / TypeT5
Seq2seq Type Inference using Static Analysis and CodeT5
☆30Updated last year
Alternatives and similar repositories for TypeT5:
Users that are interested in TypeT5 are comparing it to the libraries listed below
- ☆25Updated 3 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- ☆16Updated 5 months ago
- ☆17Updated last year
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆25Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- TeCo: an ML+Execution model for test completion☆31Updated 9 months ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated last year
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆60Updated last year
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated last year
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Updated 3 years ago
- ☆13Updated last year
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆61Updated last year
- ☆11Updated 10 months ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- ☆56Updated 2 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆110Updated 2 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆29Updated 2 weeks ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection☆29Updated 2 years ago
- ☆132Updated 4 months ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 4 years ago
- Probing pre-trained source code models☆15Updated 2 years ago
- ☆13Updated 2 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- Hoppity☆59Updated 4 years ago
- A powerful relational representation of source code☆31Updated last year
- 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