utopia-group / TypeT5
Seq2seq Type Inference using Static Analysis and CodeT5
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for TypeT5
- ☆25Updated 3 years ago
- ☆15Updated 8 months ago
- ☆13Updated last year
- 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 learning-guided approach for executing arbitrary Python code snippets☆15Updated 8 months ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆23Updated 10 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆56Updated 9 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- ☆29Updated 3 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆59Updated last year
- ☆54Updated last year
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Updated 3 years ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 8 months ago
- ☆11Updated 6 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection☆25Updated 2 years ago
- ☆16Updated last month
- 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
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆102Updated 2 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Updated last year
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆32Updated 8 months ago
- Probing pre-trained source code models☆15Updated 2 years ago
- The RunBugRun dataset of executable bugs☆23Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆31Updated this week
- ☆13Updated last year
- Template-based Automated Program Repair☆42Updated 9 months ago
- ☆25Updated this week
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆22Updated last year
- ☆13Updated 3 years ago