Claret: using data types for highly concurrent distributed transactions.

Brandon Holt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze

Browse the full EuroSys paper archive.