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