Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel. ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact). DARTS, 9(2), 2023. [doi]
@article{SuchertZCE23,
title = {ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)},
author = {Felix Suchert and Lisza Zeidler and Jerónimo Castrillón and Sebastian Ertel},
year = {2023},
doi = {10.4230/DARTS.9.2.16},
url = {https://doi.org/10.4230/DARTS.9.2.16},
researchr = {https://researchr.org/publication/SuchertZCE23},
cites = {0},
citedby = {0},
journal = {DARTS},
volume = {9},
number = {2},
}