M. Frans Kaashoek | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Jacob Andreas
65 publications
Samuel Madden
24 publications
Michael Cafarella
14 publications
Joseph Tassarotti
9 publications
Eddie Kohler
3 publications
Lillian Tsai
2 publications
Nickolai Zeldovich
2 publications
Alana Marzoev
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

∙ 04/28/2020

Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data

Large, human-annotated datasets are central to the development of natura...

1 Alana Marzoev, 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. ∙