utopia-group / TypeT5Links
Seq2seq Type Inference using Static Analysis and CodeT5
☆31Updated last year
Alternatives and similar repositories for TypeT5
Users that are interested in TypeT5 are comparing it to the libraries listed below
Sorting:
- ☆25Updated 3 years ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated last year
- A learning-guided approach for executing arbitrary Python code snippets☆18Updated last year
- The RunBugRun dataset of executable bugs☆23Updated last week
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆37Updated 2 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- ☆13Updated last year
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆124Updated 6 months ago
- ☆57Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 6 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆42Updated last year
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆62Updated 2 years ago
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆64Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Updated last year
- ☆18Updated last year
- ☆29Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- TeCo: an ML+Execution model for test completion☆31Updated 11 months ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Updated last year
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- ☆41Updated 2 years ago
- ☆138Updated last week
- Probing pre-trained source code models☆15Updated 3 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Updated 4 years ago
- ☆40Updated last year
- A powerful relational representation of source code☆31Updated last year
- Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection☆30Updated 3 years ago
- ☆13Updated last year
- ☆16Updated 3 months ago