Showing cs.PLShow all
3 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…
cs.PL2022
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
Kaiwen Zhang, Guanjun Liu
Rust's memory safety guarantees, notably ownership and lifetime systems, have driven its widespread adoption. Concurrency bugs still occur in Rust programs, and existing detection…