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.PL2024
Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs
Yu Zhang, Kaiwen Zhang, Guanjun Liu +2
Although Rust claims to enable fearless concurrency, concurrency errors remain prevalent in practical applications, with deadlocks particularly prominent and harmful. Current stati…