Fetching the paper…
Reading the bibliography…
Bugs in operating system kernels can affect billions of devices and users all over the world.
Bugs as deviant behavior: A general approach to inferring errors in systems code
Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf · 2001
Earlier work this paper cites.
Fuzzing: brute force vulnerability discovery
Michael Sutton, Adam Greene, and Pedram Amini · 2007
Earlier work this paper cites.
Finding and understanding bugs in c compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr · 2011
Earlier work this paper cites.
Compiler validation via equivalence modulo inputs
Vu Le, Mehrdad Afshari, and Zhendong Su · 2014
Earlier work this paper cites.
Difuze: Interface aware fuzzing for kernel drivers
Jake Corina, Aravind Machiry, Christopher Salls, Yan Shoshitaishvili, Shuang Hao, Christopher Kruegel, and Giovanni Vigna · 2017
Earlier work this paper cites.
Automated testing of graphics shader compilers
Alastair F Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson · 2017
Earlier work this paper cites.
Learn&fuzz: Machine learning for input fuzzing
Patrice Godefroid, Hila Peleg, and Rishabh Singh · 2017
Earlier work this paper cites.
Imf: Inferred model-based fuzzer
HyungSeok Han and Sang Kil Cha · 2017
Earlier work this paper cites.
Not all bytes are equal: Neural byte sieve for fuzzing
Mohit Rajpal, William Blum, and Rishabh Singh · 2017
Earlier work this paper cites.
Compiler fuzzing through deep learning
Chris Cummins, Pavlos Petoumenos, Alastair Murray, and Hugh Leather · 2018
Earlier work this paper cites.
Recurrent neural networks for fuzz testing web browsers
Martin Sablotny, Bjørn Sand Jensen, and Chris W. Johnson · 2018
Earlier work this paper cites.
Deepfuzz: Automatic generation of syntax valid c programs for fuzz testing
Xiao Liu, Xiaoting Li, Rupesh Prajapati, and Dinghao Wu · 2019
Earlier work this paper cites.
The fuzzing book, 2019
Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler · 2019
Earlier work this paper cites.
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 · 2020
Earlier work this paper cites.
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 · 2020
Earlier work this paper cites.
Codebert: A pre-trained model for programming and natural languages
Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaocheng Feng, Ming Gong, Linjun Shou, Bing Qin, Ting Liu, Daxin Jiang, et al · 2020
Earlier work this paper cites.
Random testing for c and c++ compilers with yarpgen
Vsevolod Livinskii, Dmitry Babokin, and John Regehr · 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.
Syzgen: Automated generation of syscall specification of closed-source macos drivers
Weiteng Chen, Yu Wang, Zheng Zhang, and Zhiyun Qian · 2021
Cited alongside, same era.
Healer: Relation learning guided kernel fuzzing
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, and Aiguo Cui · 2021
Cited alongside, same era.
{ \{ SyzVegas } \} : Beating kernel fuzzing odds with reinforcement learning
Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V Krishnamurthy, and Nael Abu-Ghazaleh · 2021
Cited alongside, same era.
Printfuzz: fuzzing linux drivers via automated virtual device simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang · 2022
Cited alongside, same era.
Training language models to follow instructions with human feedback
Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, et al · 2022
Cited alongside, same era.
Gpt-4 technical report, 2023
OpenAI · 2023
Closest in time.
Improving Linux Kernel Fuzzing
Palash B. Oswal · 2023
Closest in time.
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
Closest in time.
Adaptive test generation using a large language model
Max Schäfer, Sarah Nadi, Aryaz Eghbali, and Frank Tip · 2023
Closest in time.
Syzdirect: Directed greybox fuzzing for linux kernel
Xin Tan, Yuan Zhang, Jiadong Lu, Xin Xiong, Zhuang Liu, and Min Yang · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
KSG: Augmenting kernel fuzzing with system call specification generation
Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, and Yu Jiang · 2022
Cited alongside, same era.
sys/linux: syz-describe: auto generate syzlang
Syzkaller Project · 2022
Cited alongside, same era.
A systematic evaluation of large language models of code
Frank F Xu, Uri Alon, Graham Neubig, and Vincent Josua Hellendoorn · 2022
Cited alongside, same era.
Yejin Bang, Samuel Cahyawijaya, Nayeon Lee, Wenliang Dai, Dan Su, Bryan Wilie, Holy Lovenia, Ziwei Ji, Tiezheng Yu, Willy Chung, et al · 2023
Cited alongside, same era.
Sparks of artificial general intelligence: Early experiments with gpt-4
Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, Scott Lundberg, et al · 2023
Cited alongside, same era.
Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, and Lingming Zhang · 2023
Cited alongside, same era.
Syzdescribe: Principled, automated, static generation of syscall descriptions for kernel drivers
Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, and Ardalan Amiri Sani · 2023
Cited alongside, same era.
Yuxiang Wei, Zhe Wang, Jiawei Liu, Yifeng Ding, and Lingming Zhang · 2023
Closest in time.
Device mapper — Wikipedia, the free encyclopedia
Wikipedia contributors · 2023
Closest in time.
Universal fuzzing via large language models
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, and Lingming Zhang · 2023
Closest in time.
Automated program repair in the era of large pre-trained language models
Chunqiu Steven Xia, Yuxiang Wei, and Lingming Zhang · 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
Closest in time.
Fuzzing automatic differentiation in deep-learning libraries
Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, and Lingming Zhang · 2023
Closest in time.
No more manual tests? evaluating and improving chatgpt for unit test generation
Zhiqiang Yuan, Yiling Lou, Mingwei Liu, Shiji Ding, Kaixin Wang, Yixuan Chen, and Xin Peng · 2023
Closest in time.
Syzretrospector: A large-scale retrospective study of syzbot, 2024
Joseph Bursey, Ardalan Amiri Sani, and Zhiyun Qian · 2024
Closest in time.
Large language model guided protocol fuzzing
Ruijie Meng, Martin Mirchev, Marcel Böhme, and Abhik Roychoudhury · 2024
Closest in time.
Merged specifications in syzkaller
Syzkaller Project · 2024
Closest in time.
Agentless: Demystifying llm-based software engineering agents
Chunqiu Steven Xia, Yinlin Deng, Soren Dunn, and Lingming Zhang · 2024
Closest in time.
Whitefox: White-box compiler fuzzing empowered by large language models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang · 2024
Closest in time.