conf.researchr.org / Ravi Ramamurthy
Not registered as user yet
Name:Ravi Ramamurthy
Affiliation:Microsoft Research
Contributions
CPP 2023 | Author of FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores within the CPP 2023-track |
Not registered as user yet
Contributions
CPP 2023 | Author of FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores within the CPP 2023-track |