Fetching the paper…
Reading the bibliography…
Software engineering activities such as package migration, fixing errors reports from static analysis or testing, and adding type annotations or other specifications to a codebase, involve pervasively editing the entire repository of code.
Language models are few-shot learners
Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al · 1901
Earlier work this paper cites.
Incremental data flow analysis. In Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages . 167–176
Barbara G Ryder. 1983 · 1983
Earlier work this paper cites.
The use of explicit plans to guide inductive proofs. In 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings 9 . Springer, 111–120
Alan Bundy. 1988 · 1988
Earlier work this paper cites.
Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP’95—Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 9 . Springer, 77–101
Jeffrey Dean, David Grove, and Craig Chambers. 1995 · 1995
Earlier work this paper cites.
An introduction to software change impact analysis
RS Arnold and SA Bohner. 1996 · 1996
Earlier work this paper cites.
Escape analysis for Java
Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C Sreedhar, and Sam Midkiff. 1999 · 1999
Earlier work this paper cites.
An incremental flow-and context-sensitive pointer aliasing analysis. In Proceedings of the 21st International conference on Software Engineering . 442–451
Jyh-shiarn Yur, Barbara G Ryder, and William A Landi. 1999 · 1999
Earlier work this paper cites.
Bleu: a method for automatic evaluation of machine translation. In Proceedings of the 40th annual meeting of the Association for Computational Linguistics . 311–318
Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu. 2002 · 2002
Earlier work this paper cites.
Escape analysis for JavaTM: Theory and practice
Bruno Blanchet. 2003 · 2003
Earlier work this paper cites.
A differencing algorithm for object-oriented programs. In Proceedings. 19th International Conference on Automated Software Engineering, 2004. IEEE, 2–13
Taweesup Apiwattanapong, Alessandro Orso, and Mary Jean Harrold. 2004 · 2004
Earlier work this paper cites.
Automated Planning: theory and practice
Malik Ghallab, Dana Nau, and Paolo Traverso. 2004 · 2004
Earlier work this paper cites.
Chianti: a tool for change impact analysis of java programs. In Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications . 432–448
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G Ryder, and Ophelia Chesley. 2004 · 2004
Earlier work this paper cites.
Automated detection of refactorings in evolving components. In ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings 20 . Springer, 404–428
Danny Dig, Can Comertoglu, Darko Marinov, and Ralph Johnson. 2006 · 2006
Earlier work this paper cites.
Compilers: principles, techniques, and tools . Vol. 2
Alfred V Aho, Ravi Sethi, Jeffrey D Ullman, et al · 2007
Earlier work this paper cites.
Towards a more efficient static software change impact analysis method. In Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering . 84–90
Mohammad-Amin Jashki, Reza Zafarani, and Ebrahim Bagheri. 2008 · 2008
Earlier work this paper cites.
Generic patch inference
Jesper Andersen and Julia L Lawall. 2010 · 2010
Earlier work this paper cites.
Artificial intelligence a modern approach
Stuart J Russell. 2010 · 2010
Earlier work this paper cites.
Motion planning
Steven M La Valle. 2011 · 2011
Earlier work this paper cites.
Sydit: Creating and applying a program transformation from an example. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering . 440–443
Na Meng, Miryung Kim, and Kathryn S McKinley. 2011 · 2011
Earlier work this paper cites.
Directed incremental symbolic execution
Suzette Person, Guowei Yang, Neha Rungta, and Sarfraz Khurshid. 2011 · 2011
Earlier work this paper cites.
Identifying and summarizing systematic code changes via rule inference
Miryung Kim, David Notkin, Dan Grossman, and Gary Wilson. 2012 · 2012
Earlier work this paper cites.
Symdiff: A language-agnostic semantic diff tool for imperative programs. In Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 24 . Springer, 712–717
Shuvendu K Lahiri, Chris Hawblitzel, Ming Kawaguchi, and Henrique Rebêlo. 2012 · 2012
Earlier work this paper cites.
Scalable and incremental software bug detection. In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering . 554–564
Scott McPeak, Charles-Henri Gros, and Murali Krishna Ramanathan. 2013 · 2013
Earlier work this paper cites.
LASE: locating and applying systematic edits by learning from examples. In 2013 35th International Conference on Software Engineering (ICSE) . IEEE, 502–511
Na Meng, Miryung Kim, and Kathryn S McKinley. 2013 · 2013
Earlier work this paper cites.
RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (Hong Kong, China) (FSE 2014) . Association for Computing Machinery, New York, NY, USA, 751–754
Everton L. G. Alves, Myoungkyu Song, and Miryung Kim. 2014 · 2014
Earlier work this paper cites.
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes. In Proceedings of the 36th International Conference on Software Engineering . 288–298
Steven Arzt and Eric Bodden. 2014 · 2014
Cited alongside, same era.
A review of motion planning techniques for automated vehicles
David González, Joshué Pérez, Vicente Milanés, and Fawzi Nashashibi. 2015 · 2015
Cited alongside, same era.
Refactoring-aware code review. In 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) . IEEE, 71–79
Xi Ge, Saurabh Sarkar, Jim Witschey, and Emerson Murphy-Hill. 2017 · 2017
Cited alongside, same era.
Getafix: Learning to Fix Bugs Automatically
Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra. 2019 · 2019
Cited alongside, same era.
Using standard typing algorithms incrementally. In NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings 11 . Springer, 106–122
Matteo Busi, Pierpaolo Degano, and Letterio Galletta. 2019 · 2019
Learning to Model Editing Processes
Machel Reid and Graham Neubig. 2022 · 2022
Later among the works it cites.
Repository-level prompt generation for large language models of code
Disha Shrivastava, Hugo Larochelle, and Daniel Tarlow. 2022 · 2022
Later among the works it cites.
A Systematic Evaluation of Large Language Models of Code. In Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming (MAPS 2022) . Association for Computing Machinery, New York, NY, USA, 1–10
Frank F. Xu, Uri Alon, Graham Neubig, and Vincent Josua Hellendoorn. 2022 · 2022
Later among the works it cites.
Overwatch: Learning patterns in code edit sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, and Ashish Tiwari. 2022 · 2022
Later among the works it cites.
Guiding Language Models of Code with Global Context using Monitors
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
On the fly synthesis of edit suggestions
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa. 2019 · 2019
Cited alongside, same era.
Meditor: inference and application of API migration edits. In 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) . IEEE, 335–346
Shengzhe Xu, Ziqi Dong, and Na Meng. 2019 · 2019
Cited alongside, same era.
Learning to Represent Edits. In ICLR 2019
Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, and Alexander Gaunt. 2019 · 2019
Cited alongside, same era.
A structural model for contextual code changes
Shaked Brody, Uri Alon, and Eran Yahav. 2020 · 2020
Cited alongside, same era.
Automated planning for robotics
Erez Karpas and Daniele Magazzeni. 2020 · 2020
Cited alongside, same era.
A3: Assisting android api migrations using code examples
Maxime Lamothe, Weiyi Shang, and Tse-Hsun Peter Chen. 2020 · 2020
Cited alongside, same era.
Unified Pre-training for Program Understanding and Generation
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, and Kai-Wei Chang. 2021 · 2021
Cited alongside, same era.
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, and Sriram K. Rajamani. 2023 · 2023
Closest in time.
Better patching using LLM prompting, via Self-Consistency
Toufique Ahmed and Premkumar Devanbu. 2023 · 2023
Closest in time.
Amazon Code Whisperer - AI Code Generator
Amazon Web Services, Inc. 2023 · 2023
Closest in time.
tree-sitter/tree-sitter: v0.20.8
Max Brunsfeld, Andrew Hlynskyi, Patrick Thomson, Josh Vera, Phil Turnbull, Timothy Clem, Douglas Creager, Andrew Helwer, Rob Rix, Hendrik Van Antwerpen, Michael Davis, , Ika, Tuấn-Anh Nguyễn, Stafford Brunk, Niranjan Hasabnis, Bfredl, Mingkai Dong, Matt Massicotte, Jonathan Arnett, Vladimir Panteleev, Steven Kalt, Kolja Lampe, Alex Pinkus, Mark Schmitz, Matthew Krupcale, Narpfel, Santos Gallegos, Vicent Martí, and , Edgar. 2023 · 2023
Closest in time.
GitHub Copilot: Your AI pair programmer
Github, Inc. 2023 · 2023
Closest in time.
GrACE: Generation using Associated Code Edits
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari. 2023 · 2023
Closest in time.
Self-planning Code Generation with Large Language Model
Xue Jiang, Yihong Dong, Lecheng Wang, Qiwei Shang, and Ge Li. 2023 · 2023
Closest in time.
InferFix: End-to-End Program Repair with LLMs
Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu, Neel Sundaresan, and Alexey Svyatkovskiy. 2023 · 2023
Closest in time.
RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems
Tianyang Liu, Canwen Xu, and Julian McAuley. 2023 · 2023
Closest in time.
CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis. In The Eleventh International Conference on Learning Representations
Erik Nijkamp, Bo Pang, Hiroaki Hayashi, Lifu Tu, Huan Wang, Yingbo Zhou, Silvio Savarese, and Caiming Xiong. 2023 · 2023
Closest in time.
OpenAI. 2023 · 2023
Closest in time.
Examining Zero-Shot Vulnerability Repair with Large Language Models. In 2023 IEEE Symposium on Security and Privacy (SP) . IEEE Computer Society, 1–18
Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, and Brendan Dolan-Gavitt. 2022 · 2023
Closest in time.
Can Large Language Models Reason about Program Invariants?
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, and Pengcheng Yin. 2023a · 2023
Closest in time.
Adaptive test generation using a large language model
Max Schäfer, Sarah Nadi, Aryaz Eghbali, and Frank Tip. 2023 · 2023
Closest in time.
RepoFusion: Training Code Models to Understand Your Repository
Disha Shrivastava, Denis Kocetkov, Harm de Vries, Dzmitry Bahdanau, and Torsten Scholak. 2023 · 2023
Closest in time.
Is ChatGPT the Ultimate Programming Assistant – How far is it?
Haoye Tian, Weiqi Lu, Tsz On Li, Xunzhu Tang, Shing-Chi Cheung, Jacques Klein, and Tegawendé F. Bissyandé. 2023 · 2023
Closest in time.
Llama 2: Open Foundation and Fine-Tuned Chat Models
Hugo Touvron, Louis Martin, Kevin Stone, Peter Albert, Amjad Almahairi, Yasmine Babaei, Nikolay Bashlykov, Soumya Batra, Prajjwal Bhargava, Shruti Bhosale, Dan Bikel, Lukas Blecher, Cristian Canton Ferrer, Moya Chen, Guillem Cucurull, David Esiobu, Jude Fernandes, Jeremy Fu, Wenyin Fu, Brian Fuller, Cynthia Gao, Vedanuj Goswami, Naman Goyal, Anthony Hartshorn, Saghar Hosseini, Rui Hou, Hakan Inan, Marcin Kardas, Viktor Kerkez, Madian Khabsa, Isabel Kloumann, Artem Korenev, Punit Singh Koura, Marie-Anne Lachaux, Thibaut Lavril, Jenya Lee, Diana Liskovich, Yinghai Lu, Yuning Mao, Xavier Martinet, Todor Mihaylov, Pushkar Mishra, Igor Molybog, Yixin Nie, Andrew Poulton, Jeremy Reizenstein, Rashi Rungta, Kalyan Saladi, Alan Schelten, Ruan Silva, Eric Michael Smith, Ranjan Subramanian, Xiaoqing Ellen Tan, Binh Tang, Ross Taylor, Adina Williams, Jian Xiang Kuan, Puxin Xu, Zheng Yan, Iliyan Zarov, Yuchen Zhang, Angela Fan, Melanie Kambadur, Sharan Narang, Aurelien Rodriguez, Robert Stojnic, Sergey Edunov, and Thomas Scialom. 2023 · 2023
Closest in time.
GitHub Copilot chat for Visual Studio 2022
Mark Wilson-Thomas. [n. d.] · 2023
Closest in time.
Automated program repair in the era of large pre-trained language models. In Proceedings of the 45th International Conference on Software Engineering (ICSE 2023). Association for Computing Machinery
Chunqiu Steven Xia, Yuxiang Wei, and Lingming Zhang. 2023 · 2023
Closest in time.
RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation
Fengji Zhang, Bei Chen, Yue Zhang, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, and Weizhu Chen. 2023b · 2023
Closest in time.