Felix Suchert Lisza Zeidler Jerónimo Castrillón Sebastian Ertel ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. 33:1-33:39 2023 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2023.33 conf/ecoop/2023 db/conf/ecoop/ecoop2023.html#SuchertZCE23