5 papers
Building the Truman Show: A TrustZone-Based Framework for Lightweight Out-of-band Kernel Security Monitoring
Zhenling Duan, Pan Dong, Renshuang Jiang +2
The increasing number of vulnerabilities in operating systems, together with sophisticated kernel-level threats (e.g., rootkits), has weakened the effectiveness of traditional in-k…
AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
Renshuang Jiang, Yichong Wang, Pan Dong +6
Eliminating undefined behaviors (UBs) in Rust programs requires a deep semantic understanding to enable accurate and reliable repair. While existing studies have demonstrated the p…
FlexStep: Enabling Flexible Error Detection in Multi/Many-core Real-time Systems
Tinglue Wang, Yiming Li, Wei Tang +6
Reliability and real-time responsiveness in safety-critical systems have traditionally been achieved using error detection mechanisms, such as LockStep, which require pre-configure…
Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
Renshuang Jiang, Pan Dong, Zhenling Duan +6
To provide flexibility and low-level interaction capabilities, the unsafe tag in Rust is essential in many projects, but undermines memory safety and introduces Undefined Behaviors…
MaxMind: A Memory Loop Network to Enhance Software Productivity based on Large Language Models
Yuchen Dong, XiaoXiang Fang, Yuchen Hu +2
The application of large language models to facilitate automated software operations and tool generation (SOTG), thus augmenting software productivity, mirrors the early stages of…