Conor Power
YOU?
Author Swipe
View article: The Free Termination Property of Queries Over Time
The Free Termination Property of Queries Over Time Open
Building on prior work on distributed databases and the CALM Theorem, we define and study the question of free termination: in the absence of distributed coordination, what query properties allow nodes in a distributed (database) system to…
View article: Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency
Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency Open
We reconcile the use of semi-lattices in CRDTs and the use of groups and rings in incremental view maintenance to construct systems with strong eventual consistency, incremental computation, and database query optimization.
View article: Optimizing the cloud? Don't train models. Build oracles!
Optimizing the cloud? Don't train models. Build oracles! Open
We propose cloud oracles, an alternative to machine learning for online optimization of cloud configurations. Our cloud oracle approach guarantees complete accuracy and explainability of decisions for problems that can be formulated as par…
View article: Invited Paper: Initial Steps Toward a Compiler for Distributed Programs
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs Open
In the Hydro project we are designing a compiler toolkit that can optimize\nfor the concerns of distributed systems, including scale-up and scale-down,\navailability, and consistency of outcomes across replicas. This invited paper\novervie…
View article: Optimizing Stateful Dataflow with Local Rewrites
Optimizing Stateful Dataflow with Local Rewrites Open
Optimizing a stateful dataflow language is a challenging task. There are strict correctness constraints for preserving properties expected by downstream consumers, a large space of possible optimizations, and complex analyses that must rea…
View article: Katara: synthesizing CRDTs with verified lifting
Katara: synthesizing CRDTs with verified lifting Open
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, posing a challenge for even seasoned developers. As a result,…
View article: Keep CALM and CRDT On
Keep CALM and CRDT On Open
Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techniques. Conflict-free replicated datatypes (CRDTs) are a prom…
View article: Katara: Synthesizing CRDTs with Verified Lifting
Katara: Synthesizing CRDTs with Verified Lifting Open
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, posing a challenge for even seasoned developers. As a result,…