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
- ☆24Updated 4 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- ☆152Updated 7 months ago
- ☆69Updated 3 years ago
- Scalpel: The Python Static Analysis Framework☆322Updated last year
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆59Updated last month
- ☆16Updated last year
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 5 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
- Mining tool and large-scale datasets of single statement bug fixes in Python☆18Updated 2 years ago
- Probing pre-trained source code models☆15Updated 3 years ago
- The RunBugRun dataset of executable bugs☆23Updated 3 months ago
- ☆13Updated 2 years ago
- An empirical study on patch correctness☆15Updated 3 years ago
- ☆37Updated 7 months ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆37Updated 3 years ago
- BugsInPy: Benchmarking Bugs in Python Projects☆121Updated last week
- A powerful relational representation of source code☆33Updated 2 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆131Updated 3 years ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated last year
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 2 years ago
- Dynamic analysis framework for Python☆81Updated 5 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39Updated 2 years ago
- TeCo: an ML+Execution model for test completion☆32Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Updated 3 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆62Updated last year
- Fast tokenization and structural analysis of any programming language☆61Updated 11 months ago