utopia-group / TypeT5Links
Seq2seq Type Inference using Static Analysis and CodeT5
☆32Updated 2 years ago
Alternatives and similar repositories for TypeT5
Users that are interested in TypeT5 are comparing it to the libraries listed below
Sorting:
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆28Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆61Updated 2 months ago
- ☆70Updated 3 years ago
- ☆24Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- ☆154Updated 8 months ago
- A learning-guided approach for executing arbitrary Python code snippets☆16Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 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…☆33Updated 3 years ago
- Dynamic analysis framework for Python☆81Updated last week
- Data and Code for Reproducing "Global Relational Models of Source Code"☆85Updated 4 years ago
- An empirical study on patch correctness☆15Updated 3 years ago
- TeCo: an ML+Execution model for test completion☆31Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Updated 2 years ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year
- ☆13Updated 2 years ago
- The RunBugRun dataset of executable bugs☆23Updated 4 months ago
- A powerful relational representation of source code☆33Updated 2 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆40Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago
- ☆30Updated 4 years ago
- ☆16Updated last year
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Updated 5 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 3 years ago
- ☆20Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆78Updated 6 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- ☆38Updated 8 months ago