LambdaNet: Probabilistic Type Inference using Graph Neural Networks

LambdaNet: Probabilistic Type Inference using Graph Neural Networks

29 April 2020

Papers citing "LambdaNet: Probabilistic Type Inference using Graph Neural Networks"

19 / 19 papers shown

Title
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
JEMMA: An Extensible Java Dataset for ML4Code Applications Anjan Karmakar Miltiadis Allamanis Romain Robbes VLM 26 3 0 18 Dec 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
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation Federico Cassano John Gouwar Daniel Nguyen S. Nguyen Luna Phipps-Costin ... Carolyn Jane Anderson Molly Q. Feldman Arjun Guha Michael Greenberg Abhinav Jangda ELM 24 81 0 17 Aug 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
What do pre-trained code models know about code? Anjan Karmakar Romain Robbes ELM 32 87 0 25 Aug 2021
Bridging the Gap between Spatial and Spectral Domains: A Unified Framework for Graph Neural Networks Zhiqian Chen Fanglan Chen Lei Zhang Taoran Ji Kaiqun Fu Liang Zhao Feng Chen Lingfei Wu Charu C. Aggarwal Chang-Tien Lu 41 18 0 21 Jul 2021
Universal Approximation of Functions on Sets E. Wagstaff F. Fuchs Martin Engelcke Michael A. Osborne Ingmar Posner PINN 38 54 0 05 Jul 2021
Productivity, Portability, Performance: Data-Centric Python Yiheng Wang Yao Zhang Yanzhang Wang Yan Wan Jiao Wang Zhongyuan Wu Yuhao Yang Bowen She 54 94 0 01 Jul 2021
Self-Supervised Bug Detection and Repair Miltiadis Allamanis Henry Jackson-Flux Marc Brockschmidt 11 103 0 26 May 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
Graph Neural Networks: Taxonomy, Advances and Trends Yu Zhou Haixia Zheng Xin Huang Shufeng Hao Dengao Li Jumin Zhao AI4TS 25 115 0 16 Dec 2020
InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees Nghi D. Q. Bui Yijun Yu Lingxiao Jiang SSL 44 104 0 13 Dec 2020
Learning to Represent Programs with Heterogeneous Graphs Kechi Zhang Wenhan Wang Huangzhao Zhang Ge Li Zhi Jin GNN 21 63 0 08 Dec 2020
Neural Software Analysis Michael Pradel S. Chandra NAI 21 31 0 16 Nov 2020
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks David Bieber Charles Sutton Hugo Larochelle Daniel Tarlow GNN 19 43 0 23 Oct 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