activity
20132023
most citedElle: Inferring Isolation Anomalies from Experimental Observations

10 citations · 27 across the 8 of their papers we have counts for

collaborators

8 papers

cs.DC2023★ 1 cited

A Moveable Beast: Partitioning Data and Compute for Computational Storage

Aldrin Montana, Yuanqing Xue, Jeff LeFevre +4

Over the years, hardware trends have introduced various heterogeneous compute units while also bringing network and storage bandwidths within an order of magnitude of memory subsys…

cs.DC2022

ACT now: Aggregate Comparison of Traces for Incident Localization

Kamala Ramasubramanian, Ashutosh Raina, Jonathan Mace +1

Incidents in production systems are common and downtime is expensive. Applying an appropriate mitigating action quickly, such as changing a specific firewall rule, reverting a chan…

cs.DC2020

Mapping Datasets to Object Storage System

Xiaowei, Chu, Jeff LeFevre +5

Access libraries such as ROOT and HDF5 allow users to interact with datasets using high level abstractions, like coordinate systems and associated slicing operations. Unfortunately…

cs.DB2020★ 10 cited

Elle: Inferring Isolation Anomalies from Experimental Observations

Kyle Kingsbury, Peter Alvaro

Users who care about their data store it in databases, which (at least in principle) guarantee some form of transactional isolation. However, experience shows [Kleppmann 2019, King…

cs.DC2019★ 1 cited

Co-evolving Tracing and Fault Injection with Box of Pain

Daniel Bittman, Ethan L. Miller, Peter Alvaro

Distributed systems are hard to reason about largely because of uncertainty about what may go wrong in a particular execution, and about whether the system will mitigate those faul…

cs.DC2019★ 9 cited

Keeping CALM: When Distributed Consistency is Easy

Joseph M. Hellerstein, Peter Alvaro

A key concern in modern distributed systems is to avoid the cost of coordination while maintaining consistent semantics. Until recently, there was no answer to the question of when…

cs.LO2015★ 3 cited

Putting Logic-Based Distributed Systems on Stable Grounds

Tom J. Ameloot, Jan Van den Bussche, William R. Marczak +2

In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have…

cs.DC2013★ 3 cited

Blazes: Coordination Analysis for Distributed Programs

Peter Alvaro, Neil Conway, Joseph M. Hellerstein +1

Distributed consistency is perhaps the most discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable perf…