Fetching the paper…
Reading the bibliography…
Static analysis is a widely used technique in software engineering for identifying and mitigating bugs.
Object-Oriented Software Construction, 2nd Edition
Bertrand Meyer. 1997 · 1997
Earlier work this paper cites.
Static Analysis: A Survey of Techniques and Tools. In Intelligent Computing and Applications (Advances in Intelligent Systems and Computing) , Durbadal Mandal, Rajib Kar, Swagatam Das, and Bijaya Ketan Panigrahi (Eds.). Springer India, New Delhi, 581–591
Anjana Gosain and Ganga Sharma. 2015 · 2015
Earlier work this paper cites.
Attention is All you Need. In Advances in Neural Information Processing Systems , Vol. 30. Curran Associates, Inc
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin. 2017 · 2017
Earlier work this paper cites.
Where Does It Go?: Refining Indirect-Call Targets with Multi-Layer Type Analysis. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security . ACM, London United Kingdom
Kangjie Lu and Hong Hu. 2019 · 2019
Earlier work this paper cites.
UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, and Paul Yu. 2020 · 2020
Earlier work this paper cites.
Evaluating large language models trained on code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al · 2021
Earlier work this paper cites.
What is Temperature in NLP?
Luke Salamone. 2021 · 2021
Earlier work this paper cites.
Large Language Models Can Self-Improve
Jiaxin Huang, Shixiang Shane Gu, Le Hou, Yuexin Wu, Xuezhi Wang, Hongkun Yu, and Jiawei Han. 2022 · 2022
Earlier work this paper cites.
Introducing ChatGPT
OpenAI (2022). 2022 · 2022
Earlier work this paper cites.
Training language models to follow instructions with human feedback
Long Ouyang, Jeff Wu, Xu Jiang, Diogo Almeida, Carroll L. Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, John Schulman, Jacob Hilton, Fraser Kelton, Luke Miller, Maddie Simens, Amanda Askell, Peter Welinder, Paul Christiano, Jan Leike, and Ryan Lowe. 2022 · 2022
Earlier work this paper cites.
A Survey of Parametric Static Analysis
Jihyeok Park, Hongki Lee, and Sukyoung Ryu. 2022 · 2022
Earlier work this paper cites.
A systematic evaluation of large language models of code. In Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming . ACM, San Diego CA USA, 1–10
Frank F. Xu, Uri Alon, Graham Neubig, and Vincent Josua Hellendoorn. 2022 · 2022
Earlier work this paper cites.
Improving Few-Shot Prompts with Relevant Static Analysis Products
Toufique Ahmed, Kunal Suresh Pai, Premkumar Devanbu, and Earl T. Barr. 2023 · 2023
Earlier work this paper cites.
Claude 2
Anthropic (2023). 2023 · 2023
Cited alongside, same era.
ChatGPT Is a Blurry JPEG of the Web
Ted Chiang. 2023 · 2023
Cited alongside, same era.
Prompting Is All Your Need: Automated Android Bug Replay with Large Language Models
Sidong Feng and Chunyang Chen. 2023 · 2023
Cited alongside, same era.
GitHub Copilot documentation
Github. 2023 · 2023
Cited alongside, same era.
Survey of Hallucination in Natural Language Generation
Ziwei Ji, Nayeon Lee, Rita Frieske, Tiezheng Yu, Dan Su, Yan Xu, Etsuko Ishii, Ye Jin Bang, Andrea Madotto, and Pascale Fung. 2023 · 2023
Cited alongside, same era.
Bard’s latest update: more features, languages and countries
Jack Krawczyk and Amarnag Subramanya. 2023 · 2023
Cited alongside, same era.
Examining Zero-Shot Vulnerability Repair with Large Language Models. In 2023 IEEE Symposium on Security and Privacy (S&P) . IEEE Computer Society, Los Alamitos, CA, USA
Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, and Brendan Dolan-Gavitt. 2023 · 2023
Closest in time.
Can Large Language Models Reason about Program Invariants?. In Proceedings of the 40th International Conference on Machine Learning
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, and Pengcheng Yin. 2023 · 2023
Closest in time.
Best practices for prompt engineering with OpenAI API | OpenAI Help Center
Jessica Shieh. 2023 · 2023
Closest in time.
Reflexion: Language Agents with Verbal Reinforcement Learning
Noah Shinn, Federico Cassano, Beck Labash, Ashwin Gopinath, Karthik Narasimhan, and Shunyu Yao. 2023 · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Announcing LangSmith, a unified platform for debugging, testing, evaluating, and monitoring your LLM applications
LangChain (2023). 2023 · 2023
Cited alongside, same era.
CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K Lahiri, and Siddhartha Sen. 2023 · 2023
Cited alongside, same era.
Chain of Hindsight Aligns Language Models with Feedback
Hao Liu, Carmelo Sferrazza, and Pieter Abbeel. 2023 · 2023
Cited alongside, same era.
The Scope of ChatGPT in Software Engineering: A Thorough Investigation
Wei Ma, Shangqing Liu, Wenhan Wang, Qiang Hu, Ye Liu, Cen Zhang, Liming Nie, and Yang Liu. 2023 · 2023
Cited alongside, same era.
Function calling and other API updates
OpenAI (2023). 2023a · 2023
Cited alongside, same era.
OpenAI (2023). 2023b · 2023
Cited alongside, same era.
Weisong Sun, Chunrong Fang, Yudu You, Yun Miao, Yi Liu, Yuekang Li, Gelei Deng, Shenghan Huang, Yuchen Chen, Quanjun Zhang, Hanwei Qian, Yang Liu, and Zhenyu Chen. 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.
Voyager: An Open-Ended Embodied Agent with Large Language Models
Guanzhi Wang, Yuqi Xie, Yunfan Jiang, Ajay Mandlekar, Chaowei Xiao, Yuke Zhu, Linxi Fan, and Anima Anandkumar. 2023 · 2023
Closest in time.
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed Chi, Quoc Le, and Denny Zhou. 2023 · 2023
Closest in time.
LLM-powered Autonomous Agents
Lilian Weng. 2023 · 2023
Closest in time.
Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT
Chunqiu Steven Xia and Lingming Zhang. 2023 · 2023
Closest in time.
ReAct: Synergizing Reasoning and Acting in Language Models
Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik Narasimhan, and Yuan Cao. 2023b · 2023
Closest in time.
A Survey of Large Language Models
Wayne Xin Zhao, Kun Zhou, Junyi Li, Tianyi Tang, Xiaolei Wang, Yupeng Hou, Yingqian Min, Beichen Zhang, Junjie Zhang, Zican Dong, Yifan Du, Chen Yang, Yushuo Chen, Zhipeng Chen, Jinhao Jiang, Ruiyang Ren, Yifan Li, Xinyu Tang, Zikang Liu, Peiyu Liu, Jian-Yun Nie, and Ji-Rong Wen. 2023 · 2023
Closest in time.
Why Does ChatGPT Fall Short in Providing Truthful Answers?
Shen Zheng, Jie Huang, and Kevin Chen-Chuan Chang. 2023 · 2023
Closest in time.