no code implementations • 31 Dec 2023 • Chenyuan Yang, Zijie Zhao, Lingming Zhang
Bugs in operating system kernels can affect billions of devices and users all over the world.
1 code implementation • 24 Oct 2023 • Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang
Nonetheless, prompting LLMs with compiler source-code information remains a missing piece of research in compiler testing.