ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. - Felix Suchert; Lisza Zeidler; Jerónimo Castrillón; Sebastian Ertel (ECOOP, 2023)

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact). - Felix Suchert; Lisza Zeidler; Jerónimo Castrillón; Sebastian Ertel (Dagstuhl Artifacts Ser., 2023)