Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
Kaiwen Zhang, Guanjun Liu
Recovering concurrency structure directly from source code is difficult because shared-resource identity and protection relations are often obscured by aliasing, ownership, and API…
cs.PL2026
Static Deadlock Detection for Rust Programs
Yu Zhang, Kaiwen Zhang, Guanjun Liu
Rust relies on its unique ownership mechanism to ensure thread and memory safety. However, numerous potential security vulnerabilities persist in practical applications. New langua…