Search Results for 'sebastian burckhardt'

sebastian burckhardt published presentations and documents on DocSlides.

Sebastian Burckhardt

by sherrill-nordquist

Microsoft Research, Redmond. Robust Abstractions ...

Eventually Consistent Transactions Sebastian Burckhardt Daan Leijen Manuel F ahndrich and Mooly Sagiv Microsoft Research TelAviv University Abstract

by ellena-manuel

When distributed clients query or update shared d...