4 papers
RESCUE: Retrieval Augmented Secure Code Generation
Jiahao Shi, Tianyi Zhang
Despite recent advances, Large Language Models (LLMs) still generate vulnerable code. Retrieval-Augmented Generation (RAG) has the potential to enhance LLMs for secure code generat…
Can Large Language Models Automate the Refinement of Cellular Network Specifications?
Jianshuo Dong, Yuanjie Li, Jun Liu +2
Cellular networks, e.g., 4G/5G, rely on complex technical specifications to ensure correct functionality; however, these specifications often contain flaws or ambiguities. In this…
LLM-Driven Kernel Evolution: Automating Driver Updates in Linux
Arina Kharlamova, Jiawen Liu, Tianyi Zhang +4
Linux kernel evolution breaks drivers through API/ABI changes, semantic shifts, and security-hardening updates. We introduce DRIVEBENCH, an executable corpus of kernel…
AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers
Donghao Yang, Aolang Wu, Tianyi Zhang +6
Among the programming languages for Programmable Logic Controllers (PLCs), Structured Text (ST) is widely adopted for industrial automation due to its expressiveness and flexibilit…