Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs

arXiv:2401.01114 · cs.PL, cs.CR, cs.SE · Submitted 2024-01-02 · Read on arXiv