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
- An empirical study on patch correctness☆15Updated 2 years ago
- ☆15Updated 9 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
- ☆13Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆67Updated last month
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- A powerful relational representation of source code☆30Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆32Updated this week
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆74Updated 2 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 10 months ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆123Updated 2 months ago
- ☆11Updated 7 months ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆57Updated 10 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆50Updated last month
- A toolkit for pre-processing large source code corpora☆46Updated 2 years ago
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 10 months ago
- The RunBugRun dataset of executable bugs☆23Updated last year
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆105Updated 2 years ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆25Updated 11 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…☆30Updated 2 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆15Updated last year
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆27Updated 7 months ago
- ☆29Updated 3 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆65Updated 2 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- ☆13Updated 3 years ago
- ☆16Updated 3 months ago