Fetching the paper…
Reading the bibliography…
Large Language Models (LLMs) are widely used by software engineers for programming tasks.
Hints on Test Data Selection: Help for the Practicing Programmer
R.A. DeMillo, R.J. Lipton, and F.G. Sayward. 1978 · 1978
Earlier work this paper cites.
Soft typing
Robert Cartwright and Mike Fagan. 1991 · 1991
Earlier work this paper cites.
On the type structure of standard ML
Robert Harper and John C. Mitchell. 1993 · 1993
Earlier work this paper cites.
Safe polymorphic type inference for a dynamically typed language: Translating Scheme to ML
Fritz Henglein and Jakob Rehof. 1995 · 1995
Earlier work this paper cites.
Gradual Typing for Functional Languages
Jeremy G. Siek and Walid Taha. 2006 · 2006
Earlier work this paper cites.
Interlanguage Migration: From Scripts to Programs
Sam Tobin-Hochstadt and Matthias Felleisen. 2006 · 2006
Earlier work this paper cites.
Gradual Typing with Unification-based Inference
Jeremy G. Siek and Manish Vachharajani. 2008 · 2008
Earlier work this paper cites.
The Design and Implementation of Typed Scheme
Sam Tobin-Hochstadt and Matthias Felleisen. 2008 · 2008
Earlier work this paper cites.
The Ins and Outs of Gradual Type Inference
Aseem Rastogi, Avik Chaudhuri, and Basil Hosmer. 2012 · 2012
Earlier work this paper cites.
Python: the full monty
Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. 2013 · 2013
Earlier work this paper cites.
Understanding TypeScript
Gavin Bierman, Martín Abadi, and Mads Torgersen. 2014 · 2014
Earlier work this paper cites.
Are mutants a valid substitute for real faults in software testing?
René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser. 2014 · 2014
Earlier work this paper cites.
TypeScript at Slack
Felix Rieseberg. 2017 · 2017
Earlier work this paper cites.
Migrating Gradual Types
John Peter Campora, Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2018 · 2018
Earlier work this paper cites.
Deep Learning Type Inference
Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, and Miltiadis Allamanis. 2018 · 2018
Earlier work this paper cites.
How We Completed a (Partial) TypeScript Migration In Six Months
Abacus. 2019 · 2019
Cited alongside, same era.
Our journey to type checking 4 million lines of Python
Jukka Lehtosalo. 2019 · 2019
Cited alongside, same era.
What is Decidable about Gradual Types?
Zeina Migeed and Jens Palsberg. 2020 · 2020
Cited alongside, same era.
The Road to TypeScript at Quip, Part Two
Mihai Parparita. 2020 · 2020
Cited alongside, same era.
ts-migrate: A Tool for Migrating to TypeScript at Scale
Sergii Rudenko. 2020 · 2020
Cited alongside, same era.
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
Jiayi Wei, Maruth Goyal, Greg Durrett, and Isil Dillig. 2020 · 2020
Cited alongside, same era.
InCoder: A Generative Model for Code Infilling and Synthesis
Daniel Fried, Armen Aghajanyan, Jessy Lin, Sida Wang, Eric Wallace, Freda Shi, Ruiqi Zhong, Wen-tau Yih, Luke Zettlemoyer, and Mike Lewis. 2023 · 2023
Later among the works it cites.
The Stack: 3 TB of permissively licensed source code
Denis Kocetkov, Raymond Li, Loubna Ben Allal, Jia Li, Chenghao Mou, Carlos Muñoz Ferrandis, Yacine Jernite, Margaret Mitchell, Sean Hughes, Thomas Wolf, Dzmitry Bahdanau, Leandro von Werra, and Harm de Vries. 2023 · 2023
Later among the works it cites.
StarCoder: may the source be with you!
Raymond Li, Loubna Ben Allal, Yangtian Zi, Niklas Muennighoff, Denis Kocetkov, Chenghao Mou, Marc Marone, Christopher Akiki, Jia Li, Jenny Chim, Qian Liu, Evgenii Zheltonozhskii, Terry Yue Zhuo, Thomas Wang, Olivier Dehaene, Mishig Davaadorj, Joel Lamy-Poirier, João Monteiro, Oleh Shliazhko, Nicolas Gontier, Nicholas Meade, Armel Zebaze, Ming-Ho Yee, Logesh Kumar Umapathi, Jian Zhu, Benjamin Lipkin, Muhtasham Oblokulov, Zhiruo Wang, Rudra Murthy, Jason Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour Fahmy, Urvashi Bhattacharyya, Wenhao Yu, Swayam Singh, Sasha Luccioni, Paulo Villegas, Maxim Kunakov, Fedor Zhdanov, Manuel Romero, Tony Lee, Nadav Timor, Jennifer Ding, Claire Schlesinger, Hailey Schoelkopf, Jan Ebert, Tri Dao, Mayank Mishra, Alex Gu, Jennifer Robinson, Carolyn Jane Anderson, Brendan Dolan-Gavitt, Danish Contractor, Siva Reddy, Daniel Fried, Dzmitry Bahdanau, Yacine Jernite, Carlos Muñoz Ferrandis, Sean Hughes, Thomas Wolf, Arjun Guha, Leandro von Werra, and Harm de Vries. 2023 · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Learning type annotation: is big data enough?
Kevin Jesse, Premkumar T. Devanbu, and Toufique Ahmed. 2021 · 2021
Cited alongside, same era.
Manytypes4py: A benchmark python dataset for machine learning-based type inference
Amir M Mir, Evaldas Latoškinas, and Georgios Gousios. 2021 · 2021
Cited alongside, same era.
Probabilistic Type Inference by Optimising Logical and Natural Constraints
Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, and Charles Sutton. 2021 · 2021
Cited alongside, same era.
Solver-based Gradual Type Migration
Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha. 2021 · 2021
Cited alongside, same era.
Counterfactual interventions reveal the causal effect of relative clause representations on agreement prediction
Shauli Ravfogel, Grusha Prasad, Tal Linzen, and Yoav Goldberg. 2021 · 2021
Cited alongside, same era.
Efficient training of language models to fill in the middle
Mohammad Bavarian, Heewoo Jun, Nikolas Tezak, John Schulman, Christine McLeavey, Jerry Tworek, and Mark Chen. 2022 · 2022
Cited alongside, same era.
Goals of the Luau Type System, Two Years On
Lily Brown, Andy Friesen, and Alan Jeffery. 2023 · 2023
Later among the works it cites.
Code llama: Open foundation models for code
Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Tal Remez, Jérémy Rapin, et al. 2023 · 2023
Later among the works it cites.
Do Machine Learning Models Produce TypeScript Types that Type Check?
Ming-Ho Yee and Arjun Guha. 2023 · 2023
Later among the works it cites.
Abhimanyu Dubey, Abhinav Jauhri, Abhinav Pandey, Abhishek Kadian, Ahmad Al-Dahle, Aiesha Letman, Akhil Mathur, Alan Schelten, Amy Yang, Angela Fan, et al. 2024 · 2024
Closest in time.
Nnsight and ndif: Democratizing access to foundation model internals
Jaden Fiotto-Kaufman, Alexander R Loftus, Eric Todd, Jannik Brinkmann, Caden Juang, Koyena Pal, Can Rager, Aaron Mueller, Samuel Marks, Arnab Sen Sharma, Francesca Lucchetti, Michael Ripa, Adam Belfki, Nikhil Prakash, Sumeet Multani, Carla Brodley, Arjun Guha, Jonathan Bell, Byron Wallace, and David Bau. 2024 · 2024
Closest in time.
CRUXEval: A benchmark for code reasoning, understanding and execution
Alex Gu, Baptiste Roziere, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, and Sida Wang. 2024 · 2024
Closest in time.
Qwen2. 5-coder technical report
Binyuan Hui, Jian Yang, Zeyu Cui, Jiaxi Yang, Dayiheng Liu, Lei Zhang, Tianyu Liu, Jiajun Zhang, Bowen Yu, Kai Dang, et al. 2024 · 2024
Closest in time.
Inference-time intervention: Eliciting truthful answers from a language model
Kenneth Li, Oam Patel, Fernanda Viégas, Hanspeter Pfister, and Martin Wattenberg. 2024 · 2024
Closest in time.
Steering llama 2 via contrastive activation addition
Nina Rimsky, Nick Gabrieli, Julian Schulz, Meg Tong, Evan Hubinger, and Alexander Turner. 2024 · 2024
Closest in time.
Bugs in large language models generated code
Florian Tambon, Arghavan Moradi Dakhel, Amin Nikanjam, Foutse Khomh, Michel C Desmarais, and Giuliano Antoniol. 2024 · 2024
Closest in time.
An Yang, Baosong Yang, Binyuan Hui, Bo Zheng, Bowen Yu, Chang Zhou, Chengpeng Li, Chengyuan Li, Dayiheng Liu, Fei Huang, Guanting Dong, Haoran Wei, Huan Lin, Jialong Tang, Jialin Wang, Jian Yang, Jianhong Tu, Jianwei Zhang, Jianxin Ma, Jin Xu, Jingren Zhou, Jinze Bai, Jinzheng He, Junyang Lin, Kai Dang, Keming Lu, Keqin Chen, Kexin Yang, Mei Li, Mingfeng Xue, Na Ni, Pei Zhang, Peng Wang, Ru Peng, Rui Men, Ruize Gao, Runji Lin, Shijie Wang, Shuai Bai, Sinan Tan, Tianhang Zhu, Tianhao Li, Tianyu Liu, Wenbin Ge, Xiaodong Deng, Xiaohuan Zhou, Xingzhang Ren, Xinyu Zhang, Xipin Wei, Xuancheng Ren, Yang Fan, Yang Yao, Yichang Zhang, Yu Wan, Yunfei Chu, Yuqiong Liu, Zeyu Cui, Zhenru Zhang, and Zhihao Fan. 2024 · 2024
Closest in time.
Predicting typeScript type annotations and definitions with machine learning
Ming-Ho Yee. 2024 · 2024
Closest in time.