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

Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy

Browse the full CPP paper archive.