by Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno and Ravi Ramamurthy
Reference:
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno and Ravi Ramamurthy), In Certified Programs and Proofs, 2023.
Bibtex Entry:
@inproceedings{fastver2,
author = {Arvind Arasu and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Aymeric Fromherz and
Kesha Hietala and
Bryan Parno and
Ravi Ramamurthy},
title = {FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores},
booktitle = {Certified Programs and Proofs},
shortbooktitle = {CPP},
year = 2023,
month = January,
url = {https://www.fstar-lang.org/papers/fastver2.pdf},
}