FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores

Published in Proceedings of the ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), 2023

Citation: Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy. "FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores." Proceedings of the ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP). 2023.