Blazes: Coordination Analysis for Distributed Programs

v1v2 (latest)

Blazes: Coordination Analysis for Distributed Programs

12 September 2013

J. M. Hellerstein

ArXiv (abs)PDF HTML

Papers citing "Blazes: Coordination Analysis for Distributed Programs"

6 / 6 papers shown

Title
Distributed Locking as a Data Type Julian Haas R. Mogk Annette Bieniusa Mira Mezini 135 1 0 24 May 2024
Katara: Synthesizing CRDTs with Verified Lifting Shadaj Laddad Conor Power Mae Milano Alvin Cheung J. M. Hellerstein 86 19 0 25 May 2022
New Directions in Cloud Programming Alvin Cheung Natacha Crooks J. M. Hellerstein Mae Milano 62 24 0 04 Jan 2021
Keeping CALM: When Distributed Consistency is Easy J. M. Hellerstein P. Alvaro 30 29 0 07 Jan 2019
IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases Valter Balegas Nuno M. Preguiça S. Duarte Carla Ferreira Rodrigo Rodrigues 35 34 0 23 Feb 2018
Consistency in Non-Transactional Distributed Storage Systems P. Viotti Marko Vukolić 112 134 0 01 Dec 2015