@inproceedings{Suchert:ConDRust,title = "ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs",author = "Felix Suchert, Lisza Zeidler, Jeronimo Castrillon, Sebastian Ertel",year = "2023",booktitle = "37th European Conference on Object-Oriented Programming (ECOOP)",address = "Seattle, WA, USA",month = "July",publisher = "LIPICS",note = "Distinguished Artifact Award",url = "<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.33">https://doi.org/10.4230/LIPIcs.ECOOP.2023.33</a>"}