440 citations · 1.9k across the 40 of their papers we have counts for
44 papers
Keep CALM and CRDT On
Shadaj Laddad, Conor Power, Mae Milano +3
Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techni…
Operationalizing Machine Learning: An Interview Study
Shreya Shankar, Rolando Garcia, Joseph M. Hellerstein +1
Organizations rely on machine learning engineers (MLEs) to operationalize ML, i.e., deploy and maintain ML pipelines in production. The process of operationalizing ML, or MLOps, co…
The Sky Above The Clouds
Sarah Chasins, Alvin Cheung, Natacha Crooks +14
Technology ecosystems often undergo significant transformations as they mature. For example, telephony, the Internet, and PCs all started with a single provider, but in the United…
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano +2
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, po…
Read-Write Quorum Systems Made Practical
Michael Whittaker, Aleksey Charapko, Joseph M. Hellerstein +2
Quorum systems are a powerful mechanism for ensuring the consistency of replicated data. Production systems usually opt for majority quorums due to their simplicity and fault toler…
Enhancing the Interactivity of Dataframe Queries by Leveraging Think Time
Doris Xin, Devin Petersohn, Dixin Tang +5
We propose opportunistic evaluation, a framework for accelerating interactions with dataframes. Interactive latency is critical for iterative, human-in-the-loop dataframe workloads…