ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs.

Felix Suchert, Lisza Zeidler, Jernimo Castrilln, Sebastian Ertel

Browse the full ECOOP paper archive.