bpw   Benjamin P. Wood

Cloud Types for EC

In summer 2011, I interned in the RiSE group at Microsoft Research with Sebastian Burckhardt, Daan Leijen, and Manuel Fahndrich. We adapted the Concurrent Revisions model to provide language support for eventually consistent storage in simple distributed systems such as smartphone applications sharing data through the cloud. The resulting paper will appear at ECOOP 2012.

Publications

Cloud Types for Eventual Consistency
Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Benjamin P. Wood
ECOOP 2012