OptTyper: Probabilistic Type Inference by Optimising Logical and Natural
Constraints

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

1 April 2020

Irene Vlassi Pandi

Andrew D. Gordon

Papers citing "OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints"

10 / 10 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 20 20 0 30 Dec 2023
Learning Type Inference for Enhanced Dataflow Analysis Lukas Seidel Sedick Baker Effendi Xavier Pinho Konrad Rieck Brink van der Merwe Fabian Yamaguchi 17 2 0 01 Oct 2023
Type Prediction With Program Decomposition and Fill-in-the-Type Training Federico Cassano Ming-Ho Yee Noah Shinn Arjun Guha Steven Holtzen 24 5 0 25 May 2023
TypeT5: Seq2seq Type Inference using Static Analysis Jiayi Wei Greg Durrett Işıl Dillig 24 18 0 16 Mar 2023
CodeQueries: A Dataset of Semantic Queries over Code Surya Prakash Sahu Madhurima Mandal Shikhar Bharadwaj Aditya Kanade Petros Maniatis S. Shevade 17 4 0 17 Sep 2022
Cross-Domain Evaluation of a Deep Learning-Based Type Inference System Bernd Gruner Tim Sonnekalb Thomas S. Heinze C. Brust 8 2 0 19 Aug 2022
Program Synthesis with Large Language Models Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski ... Ellen Jiang Carrie J. Cai Michael Terry Quoc V. Le Charles Sutton ELM AIMat ReCod ALM 23 1,734 0 16 Aug 2021
ProtoTransformer: A Meta-Learning Approach to Providing Student Feedback Mike Wu Noah D. Goodman Chris Piech Chelsea Finn 16 19 0 23 Jul 2021
Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python A. Mir Evaldas Latoskinas Sebastian Proksch Georgios Gousios 93 59 0 12 Jan 2021
Contrastive Code Representation Learning Paras Jain Ajay Jain Tianjun Zhang Pieter Abbeel Joseph E. Gonzalez Ion Stoica SSL DRL 22 149 0 09 Jul 2020