Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable,
coordination-free distributed systems. However, constructing correct CRDTs is difficult …

Distributed protocols such as 2PC and Paxos lie at the core of many systems in the cloud,
but standard implementations do not scale. New scalable distributed protocols are …

Distributed protocols such as 2PC and Paxos lie at the core of many systems in the cloud,
but standard implementations do not scale. New scalable distributed protocols are …

Web-based applications face unprecedented workloads demanding the processing of a
large number of events reaching to the millions per second. That is why developers are …

Modern applications produce and process massive amounts of activity (or log) data.
Traditional storage systems were not designed with an append-only data model and a new …

Interactive visualization design and research have primarily focused on local data and
synchronous events. However, for more complex use cases-eg, remote database access …

Distributed systems are difficult to reason about and program because of fundamental
uncertainty in their executions, arising from sources of nondeterminism such as asynchrony …

Web applications rely on replicated databases to place data close to their users, and to
tolerate failures. Many replication systems opt for eventual consistency, which offers …

Conflict-free replicated data types (CRDTs) are a powerful tool for designing scalable,
coordination-free distributed systems. However, constructing correct CRDTs is difficult …

Interaction History for Building Human-Data Interfaces by Yifan Wu A dissertation submitted in
partial satisfaction of the requi Page 1 Interaction History for Building Human-Data Interfaces …