Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs. - Zhang, Yu; Zhang, Kaiwen; Liu, Guanjun; Cai, Yuandao; Qin, Shengchao (Automated Software Engineering, 2026)