Enabling Memory Safety of C Programs using LLMs

Purify: Fast Detection of Memory Leaks and Access Errors. In Proceedings of the Summer 1992 USENIX Conference . 125–138

Reed Hastings and Bob Joyce. 1992 · 1992

Earlier work this paper cites.

Efficient Detection of All Pointer and Array Access Errors. In Proceedings of the ACM SIGPLAN’94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994 , Vivek Sarkar, Barbara G. Ryder, and Mary Lou Soffa (Eds.)

Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. 1994b · 1994

Earlier work this paper cites.

Supporting dynamic data structures on distributed-memory machines

Anne Rogers, Martin C. Carlisle, John H. Reppy, and Laurie J. Hendren. 1995 · 1995

Earlier work this paper cites.

A theory of type qualifiers. In Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (Atlanta, Georgia, USA) (PLDI ’99) . Association for Computing Machinery, New York, NY, USA, 192–203

Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. 1999 · 1999

Earlier work this paper cites.

Cyclone: A Safe Dialect of C. In Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (ATEC ’02) . USENIX Association, USA, 275–288

Trevor Jim, J. Greg Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, and Yanling Wang. 2002 · 2002

Earlier work this paper cites.

CCured: type-safe retrofitting of legacy code. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Portland, Oregon) (POPL ’02) . Association for Computing Machinery, New York, NY, USA, 128–139

George C. Necula, Scott McPeak, and Westley Weimer. 2002 · 2002

Earlier work this paper cites.

Run-time type checking for binary programs. In Proceedings of the 12th International Conference on Compiler Construction

Michael Burrows, Stephen N. Freund, and Janet L. Wiener. 2003 · 2003

Earlier work this paper cites.

Dependent types for low-level programming. In Proceedings of the 16th European Symposium on Programming (Braga, Portugal) (ESOP’07) . Springer-Verlag, Berlin, Heidelberg, 520–535

Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, and George C. Necula. 2007 · 2007

Earlier work this paper cites.

Valgrind: a framework for heavyweight dynamic binary instrumentation. In Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (San Diego, California, USA) (PLDI ’07) . Association for Computing Machinery, New York, NY, USA, 89–100

Nicholas Nethercote and Julian Seward. 2007 · 2007

Earlier work this paper cites.

SoftBound: highly compatible and complete spatial memory safety for c. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009 , Michael Hind and Amer Diwan (Eds.). ACM, 245–258

Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, and Steve Zdancewic. 2009 · 2009

Earlier work this paper cites.

Checked C: Making C Safe by Extension. In 2018 IEEE Cybersecurity Development (SecDev) . 53–60

Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, and David Tarditi. 2018 · 2018

Earlier work this paper cites.

Achieving Safety Incrementally with Checked C. In Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture Notes in Computer Science, Vol. 11426) , Flemming Nielson and David Sands (Eds.). Springer, 76–98

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, and Michael Hicks. 2019 · 2019

Earlier work this paper cites.

Refactoring the FreeBSD Kernel with Checked C. In IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, September 28-30, 2020 . IEEE, 15–22

Junhan Duan, Yudi Yang, Jie Zhou, and John Criswell. 2020 · 2020

Cited alongside, same era.

Competition-level code generation with AlphaCode

Yujia Li, David Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, Thomas Hubert, Peter Choy, Cyprien de Masson d’Autume, Igor Babuschkin, Xinyun Chen, Po-Sen Huang, Johannes Welbl, Sven Gowal, Alexey Cherepanov, James Molloy, Daniel J. Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals. 2022 · 2022

Cited alongside, same era.

C to checked C by 3c

Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, and Michael Hicks. 2022 · 2022

Cited alongside, same era.

Synchromesh: Reliable Code Generation from Pre-trained Language Models. In International Conference on Learning Representations

Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, and Sumit Gulwani. 2022 · 2022

Cited alongside, same era.

Large Language Models for Software Engineering: A Systematic Literature Review

Original

Xinyi Hou, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John Grundy, and Haoyu Wang. 2023 · 2023

Later among the works it cites.

Retrieval-Based Prompt Selection for Code-Related Few-Shot Learning. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

Noor Nashid, Mifta Sintaha, and Ali Mesbah. 2023 · 2023

Later among the works it cites.

CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis. In ICLR

Erik Nijkamp, Bo Pang, Hiroaki Hayashi, Lifu Tu, Huan Wang, Yingbo Zhou, Silvio Savarese, and Caiming Xiong. 2023 · 2023

Later among the works it cites.

Examining Zero-Shot Vulnerability Repair with Large Language Models. In 2023 IEEE Symposium on Security and Privacy (SP) . IEEE Computer Society, Los Alamitos, CA, USA, 2339–2356

H. Pearce, B. Tan, B. Ahmad, R. Karri, and B. Dolan-Gavitt. 2023 · 2023

Later among the works it cites.