utopia-group / TypeT5Links
Seq2seq Type Inference using Static Analysis and CodeT5
☆31Updated 2 years ago
Alternatives and similar repositories for TypeT5
Users that are interested in TypeT5 are comparing it to the libraries listed below
Sorting:
- ☆142Updated 3 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 9 months ago
- ☆24Updated 4 years ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆124Updated 9 months ago
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- ☆67Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- ☆16Updated 10 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆24Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39Updated 2 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆63Updated last year
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆124Updated 3 years ago
- homepage for proFL☆23Updated 4 years ago
- Scalpel: The Python Static Analysis Framework☆315Updated last year
- ☆18Updated last year
- BugsInPy: Benchmarking Bugs in Python Projects☆108Updated last year
- TeCo: an ML+Execution model for test completion☆30Updated last year
- ☆29Updated 3 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆43Updated 4 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆65Updated 3 weeks ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆55Updated 2 years ago
- The RunBugRun dataset of executable bugs☆22Updated 3 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…☆31Updated 2 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated last week
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Updated 3 years ago
- A powerful relational representation of source code☆32Updated last year
- Vision Transformer-Inspired Automated Vulnerability Repair☆18Updated 3 months ago
- ☆13Updated 2 years ago
- Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808☆86Updated 2 years ago