Typilus: Neural Type Hints

Typilus: Neural Type Hints

6 April 2020

Miltiadis Allamanis

Soline Ducousso

Papers citing "Typilus: Neural Type Hints"

17 / 17 papers shown

Title
Treefix: Enabling Execution with a Tree of Prefixes Beatriz Souza Michael Pradel 42 1 0 21 Jan 2025
Can LLMs Replace Manual Annotation of Software Engineering Artifacts? Toufique Ahmed Premkumar Devanbu Christoph Treude Michael Pradel 72 11 0 10 Aug 2024
Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit Yao Wan Yang He Zhangqian Bi Jianguo Zhang Hongyu Zhang Yulei Sui Guandong Xu Hai Jin Philip S. Yu 35 20 0 30 Dec 2023
Implant Global and Local Hierarchy Information to Sequence based Code Representation Models Kechi Zhang Zhuo Li Zhi Jin Ge Li 29 7 0 14 Mar 2023
JEMMA: An Extensible Java Dataset for ML4Code Applications Anjan Karmakar Miltiadis Allamanis Romain Robbes VLM 26 3 0 18 Dec 2022
AutoPruner: Transformer-Based Call Graph Pruning Thanh Le-Cong Hong Jin Kang Truong-Giang Nguyen S. A. Haryono David Lo X. Le H. Thang 27 19 0 07 Sep 2022
Cross-Domain Evaluation of a Deep Learning-Based Type Inference System Bernd Gruner Tim Sonnekalb Thomas S. Heinze C. Brust 23 2 0 19 Aug 2022
Enhancing Security Patch Identification by Capturing Structures in Commits Bozhi Wu Shangqing Liu Ruitao Feng Xiaofei Xie J. Siow Shang-Wei Lin 30 30 0 19 Jul 2022
InCoder: A Generative Model for Code Infilling and Synthesis Daniel Fried Armen Aghajanyan Jessy Lin Sida I. Wang Eric Wallace Freda Shi Ruiqi Zhong Wen-tau Yih Luke Zettlemoyer M. Lewis SyDa 28 626 0 12 Apr 2022
Unveiling Project-Specific Bias in Neural Code Models Zhiming Li Yanzhou Li Tianlin Li Mengnan Du Bozhi Wu Yushi Cao Yi Li Yang Liu 31 5 0 19 Jan 2022
Self-Supervised Bug Detection and Repair Miltiadis Allamanis Henry Jackson-Flux Marc Brockschmidt 11 103 0 26 May 2021
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code Egor Spirin Egor Bogomolov V. Kovalenko T. Bryksin 30 15 0 23 Mar 2021
Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python A. Mir Evaldas Latoskinas Sebastian Proksch Georgios Gousios 140 59 0 12 Jan 2021
Learning to Represent Programs with Heterogeneous Graphs Kechi Zhang Wenhan Wang Huangzhao Zhang Ge Li Zhi Jin GNN 21 63 0 08 Dec 2020
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints Irene Vlassi Pandi Earl T. Barr Andrew D. Gordon Charles Sutton 22 29 0 01 Apr 2020
Adversarial Robustness for Code Pavol Bielik Martin Vechev AAML 16 89 0 11 Feb 2020
Semantic Robustness of Models of Source Code Goutham Ramakrishnan Jordan Henkel Zi Wang Aws Albarghouthi S. Jha Thomas W. Reps SILM AAML 37 97 0 07 Feb 2020