Deep learning type inference

VJ Hellendoorn, C Bird, ET Barr… - … of the 2018 26th acm joint …, 2018 - dl.acm.org
… When trained, DeepTyper can infer types for identifiers that the compiler’s type inference
real-world type annotations in a large body of code. DeepTyper suggests type annotations with …

Static inference meets deep learning: a hybrid type inference approach for python

Y Peng, C Gao, Z Li, B Gao, D Lo, Q Zhang… - Proceedings of the 44th …, 2022 - dl.acm.org
… information in type dependency graphs (TDGs). Based on TDGs, we can easily integrate
type inference rules in the nodes to conduct static inference and type rejection rules to inspect …

Pyinfer: Deep learning semantic type inference for python variables

S Cui, G Zhao, Z Dai, L Wang, R Huang… - arXiv preprint arXiv …, 2021 - arxiv.org
… to train a deep neural network, which ranks each type with probabilities effectively. … deep
learning with static analysis to infer type annotations is promising. By combining deep learning

Dltpy: Deep learning type inference of python function signatures using natural language context

C Boone, N de Bruin, A Langerak… - arXiv preprint arXiv …, 2019 - arxiv.org
… high developer productivity, types need to be inferred. In this paper, we present DLTPy: a
deep learning type inference solution for the prediction of types in function signatures based on …

DLInfer: Deep learning with static slicing for Python type inference

Y Yan, Y Feng, H Fan, B Xu - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
… a deep learning type inference technique, namely DLInfer, to automatically infer the type
infor… recurrent unit model to learn the type propagation information for inference. To validate the …

Cross-domain evaluation of a deep learning-based type inference system

B Gruner, T Sonnekalb, TS Heinze… - 2023 IEEE/ACM 20th …, 2023 - ieeexplore.ieee.org
… Therefore, in this study, we investigate the deep learning-based type inference system … as
dataset shifts, influence the results of the type inference system. Cross-domain means that the …

Type4Py: Practical deep similarity learning-based type inference for Python

AM Mir, E Latoškinas, S Proksch… - Proceedings of the 44th …, 2022 - dl.acm.org
… As retrofitting types to existing codebases is error-prone and laborious, machine learning
(ML)-based approaches have been proposed to enable automatic type inference based on …

Generative type inference for python

Y Peng, C Wang, W Wang, C Gao… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
… few-shot generative type inference approach that incorporates … (COT) prompts by translating
the type inference steps of static … Supervised type inference approaches utilizing deep learn

Deepinfer: Deep type inference from smart contract bytecode

K Zhao, Z Li, J Li, H Ye, X Luo, T Chen - … of the 31st ACM Joint European …, 2023 - dl.acm.org
inference in other scenarios [3… type inference from the bytecode of smart contracts because
they target the source code. In this paper, we present DeepInfer, a novel deep learning-…

Lambdanet: Probabilistic type inference using graph neural networks

J Wei, M Goyal, G Durrett, I Dillig - arXiv preprint arXiv:2005.02161, 2020 - arxiv.org
… models for Javascript and Python, but their approaches do not take advantage of deep
learning and are limited to a very restricted prediction space. Hellendoorn et al. (2018) and …