Inproceedings,
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.
A. Arasu, T. Ramananandro, A. Rastogi, N. Swamy, A. Fromherz, K. Hietala, B. Parno, and R. Ramamurthy.CPP, page 30-46. ACM, (2023)
Meta data
- BibTeX key
- conf/cpp/ArasuRRSFHPR23
- entry type
- inproceedings
- booktitle
- CPP
- year
- 2023
- pages
- 30-46
- publisher
- ACM
- crossref
- conf/cpp/2023
- ee
- https://doi.org/10.1145/3573105.3575687
- url
- http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#ArasuRRSFHPR23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cpp/ArasuRRSFHPR23
%A Arasu, Arvind
%A Ramananandro, Tahina
%A Rastogi, Aseem
%A Swamy, Nikhil
%A Fromherz, Aymeric
%A Hietala, Kesha
%A Parno, Bryan
%A Ramamurthy, Ravi
%B CPP
%D 2023
%E Krebbers, Robbert
%E Traytel, Dmitriy
%E Pientka, Brigitte
%E Zdancewic, Steve
%I ACM
%K dblp
%P 30-46
%T FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.
%U http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#ArasuRRSFHPR23
@inproceedings{conf/cpp/ArasuRRSFHPR23,
added-at = {2023-01-13T00:00:00.000+0100},
author = {Arasu, Arvind and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Fromherz, Aymeric and Hietala, Kesha and Parno, Bryan and Ramamurthy, Ravi},
biburl = {https://www.bibsonomy.org/bibtex/22b4f186e325555392f27eeb7102856af/dblp},
booktitle = {CPP},
crossref = {conf/cpp/2023},
editor = {Krebbers, Robbert and Traytel, Dmitriy and Pientka, Brigitte and Zdancewic, Steve},
ee = {https://doi.org/10.1145/3573105.3575687},
interhash = {c04beae2b6ca531b862c6bf0926c6577},
intrahash = {2b4f186e325555392f27eeb7102856af},
keywords = {dblp},
pages = {30-46},
publisher = {ACM},
timestamp = {2024-04-09T22:48:37.000+0200},
title = {FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.},
url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#ArasuRRSFHPR23},
year = 2023
}