v1v2 (latest)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

24 May 2023

Papers citing "A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification"

38 / 38 papers shown

Title
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection Richard A. Dubniczky Krisztofer Zoltán Horvát Tamás Bisztray M. Ferrag Lucas C. Cordeiro Norbert Tihanyi 129 1 0 12 Mar 2025
SoK: Towards Effective Automated Vulnerability Repair Ying Li Faysal hossain shezan Bomin wei Gang Wang Yuan Tian 174 2 0 31 Jan 2025
Large Language Models for Cyber Security: A Systematic Literature Review HanXiang Xu Shenao Wang Ningke Li Kaidi Wang Yanjie Zhao Kai Chen Ting Yu Yang Liu Haoyu Wang 115 41 0 08 May 2024
RepairAgent: An Autonomous, LLM-Based Agent for Program Repair Islem Bouzenia Prem Devanbu Michael Pradel LLMAG KELM 71 85 0 25 Mar 2024
CigaR: Cost-efficient Program Repair with LLMs Dávid Hidvégi K. Etemadi Sofia Bobadilla Martin Monperrus 48 21 0 09 Feb 2024
LLM-Powered Code Vulnerability Repair with Reinforcement Learning and Semantic Reward Nafis Tanveer Islam Joseph Khoury Andrew Seong Mohammad Bahrami Karkevandi G. Parra E. Bou-Harb Peyman Najafirad AAML 94 19 0 07 Jan 2024
The Falcon Series of Open Language Models Ebtesam Almazrouei Hamza Alobeidli Abdulaziz Alshamsi Alessandro Cappelli Ruxandra-Aimée Cojocaru ... Quentin Malartic Daniele Mazzotta Badreddine Noune B. Pannier Guilherme Penedo AI4TS ALM 164 449 0 28 Nov 2023
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification Norbert Tihanyi Tamás Bisztray Ridhi Jain M. Ferrag Lucas C. Cordeiro Vasileios Mavroeidis 90 44 0 05 Jul 2023
Self-Edit: Fault-Aware Code Editor for Code Generation Kechi Zhang Zhuo Li Jia Li Ge Li Zhi Jin 114 106 0 06 May 2023
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation Jiawei Liu Chun Xia Yuyao Wang Lingming Zhang ELM ALM 253 955 0 02 May 2023
Is ChatGPT the Ultimate Programming Assistant -- How far is it? Haoye Tian Weiqi Lu T. Li Xunzhu Tang Shing-Chi Cheung Jacques Klein Tegawende F. Bissyande 55 189 0 24 Apr 2023
OpenAGI: When LLM Meets Domain Experts Yingqiang Ge Wenyue Hua Kai Mei Jianchao Ji Juntao Tan Shuyuan Xu Zelong Li Yongfeng Zhang VLM LRM 102 230 0 10 Apr 2023
MathPrompter: Mathematical Reasoning using Large Language Models Shima Imani Liang Du H. Shrivastava KELM ReLM LRM 96 212 0 04 Mar 2023
On pitfalls (and advantages) of sophisticated large language models A. Strasser 54 14 0 25 Feb 2023
A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT Jules White Quchen Fu Sam Hays Michael Sandborn Carlos Olea Henry Gilbert Ashraf Elnashar Jesse Spencer-Smith Douglas C. Schmidt LLMAG 147 1,120 0 21 Feb 2023
Reliable Natural Language Understanding with Large Language Models and Answer Set Programming Abhiramon Rajasekharan Yankai Zeng Parth Padalkar Gopal Gupta LRM 76 19 0 07 Feb 2023
Conversational Automated Program Repair Chun Xia Lingming Zhang KELM 91 72 0 30 Jan 2023
Repair Is Nearly Generation: Multilingual Program Repair with LLMs Harshit Joshi J. Cambronero Sumit Gulwani Vu Le Ivan Radicek Gust Verbruggen LRM 56 135 0 24 Aug 2022
Neurosymbolic Repair for Low-Code Formula Languages Rohan Bavishi Harshit Joshi José Pablo Cambronero Sánchez Anna Fariha Sumit Gulwani Vu Le Ivan Radicek A. Tiwari 48 13 0 24 Jul 2022
GitHub Copilot AI pair programmer: Asset or Liability? Arghavan Moradi Dakhel Vahid Majdinasab Amin Nikanjam Foutse Khomh Michel C. Desmarais Zhen Ming Z. Jiang 93 357 0 30 Jun 2022
NatGen: Generative pre-training by "Naturalizing" source code Saikat Chakraborty Toufique Ahmed Yangruibo Ding Prem Devanbu Baishakhi Ray AI4CE 99 116 0 15 Jun 2022
Can language models learn from explanations in context? Andrew Kyle Lampinen Ishita Dasgupta Stephanie C. Y. Chan Kory Matthewson Michael Henry Tessler Antonia Creswell James L. McClelland Jane X. Wang Felix Hill LRM ReLM 170 300 0 05 Apr 2022
Compilable Neural Code Generation with Compiler Feedback Xin Wang Yasheng Wang Yao Wan Fei Mi Yitong Li Pingyi Zhou Jin Liu Hao Wu Xin Jiang Qun Liu 72 68 0 10 Mar 2022
Examining Zero-Shot Vulnerability Repair with Large Language Models Hammond Pearce Benjamin Tan Baleegh Ahmad Ramesh Karri Brendan Dolan-Gavitt AAML ELM 74 208 0 03 Dec 2021
Evaluating Large Language Models Trained on Code Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Pondé ... Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever Wojciech Zaremba ELM ALM 236 5,665 0 07 Jul 2021
A Syntax-Guided Edit Decoder for Neural Program Repair Qihao Zhu Zeyu Sun Yuan-an Xiao Wenjie Zhang Kang Yuan Y. Xiong Lu Zhang KELM 106 224 0 15 Jun 2021
Break-It-Fix-It: Unsupervised Learning for Program Repair Michihiro Yasunaga Percy Liang 79 109 0 11 Jun 2021
Measuring Coding Challenge Competence With APPS Dan Hendrycks Steven Basart Saurav Kadavath Mantas Mazeika Akul Arora ... Collin Burns Samir Puranik Horace He Basel Alomair Jacob Steinhardt ELM AIMat ALM 272 704 0 20 May 2021
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code Zimin Chen Steve Kommrusch Monperrus Martin 59 126 0 16 Apr 2021
Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm Laria Reynolds Kyle McDonell 114 918 0 15 Feb 2021
Language Models are Few-Shot Learners Tom B. Brown Benjamin Mann Nick Ryder Melanie Subbiah Jared Kaplan ... Christopher Berner Sam McCandlish Alec Radford Ilya Sutskever Dario Amodei BDL 889 42,463 0 28 May 2020
Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer Colin Raffel Noam M. Shazeer Adam Roberts Katherine Lee Sharan Narang Michael Matena Yanqi Zhou Wei Li Peter J. Liu AIMat 488 20,342 0 23 Oct 2019
CodeSearchNet Challenge: Evaluating the State of Semantic Code Search Hamel Husain Hongqiu Wu Tiferet Gazit Miltiadis Allamanis Marc Brockschmidt ELM 130 1,086 0 20 Sep 2019
Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks Yaqin Zhou Shangqing Liu J. Siow Xiaoning Du Yang Liu GNN 71 780 0 08 Sep 2019
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair Zimin Chen Steve Kommrusch Michele Tufano L. Pouchet Denys Poshyvanyk Monperrus Martin KELM 73 445 0 24 Dec 2018
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 1.8K 95,229 0 11 Oct 2018
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 803 132,454 0 12 Jun 2017
Sequence to Sequence Learning with Neural Networks Ilya Sutskever Oriol Vinyals Quoc V. Le AIMat 448 20,606 0 10 Sep 2014