Nickolai Zeldovich | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Joseph Tassarotti
9 publications
Eddie Kohler
3 publications
M. Frans Kaashoek
3 publications
Lillian Tsai
2 publications
Upamanyu Sharma
1 publication
Ralf Jung
1 publication

research

∙ 09/06/2023

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)

Grove is a concurrent separation logic library for verifying distributed...

0 Upamanyu Sharma, et al. ∙

research

∙ 09/23/2018

A Revised and Verified Proof of the Scalable Commutativity Rule

This paper explains a flaw in the published proof of the Scalable Commut...

0 Lillian Tsai, et al. ∙

Success!

An error occurred