5 papers
Annotating and Auditing the Safety Properties of Unsafe Rust
Zihao Rao, Jiping Zhou, Hongliang Tian +2
In Rust, unsafe code is the sole source of potential undefined behaviors. To avoid misuse, Rust developers should clarify the safety properties for each unsafe API. However, the co…
Immersion in the GitHub Universe: Scaling Coding Agents to Mastery
Jiale Zhao, Guoxin Chen, Fanzhe Meng +11
Achieving mastery in real world software engineering tasks is fundamentally bottlenecked by the scarcity of large scale, high quality training data. Scaling such data has been limi…
A Trace-based Approach for Code Safety Analysis
Hui Xu
Rust is a memory-safe programming language that disallows undefined behavior. Its safety guarantees have been extensively examined by the community through empirical studies, which…
KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
Jiyao Zhang, Chengli Zhong, Hui Xu +2
Modern large language models (LLMs) show promising progress in formalizing informal mathematics into machine-verifiable theorems. However, these methods still face bottlenecks due…
Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
Mohan Cui, Penglei Mao, Shuran Sun +2
Rust, a popular systems-level programming language, has garnered widespread attention due to its features of achieving run-time efficiency and memory safety. With an increasing num…