Papers

• Lineage-driven Fault Injection. [SIGMOD '15]
  Peter Alvaro, Joshua Rosen, Joseph M. Hellerstein.

• Coordination Avoidance in Database Systems. [VLDB '15]
  Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica.

• Blazes: Coordination analysis for distributed programs [ICDE '14]
  Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier.

• Scalable Atomic Visibility with RAMP Transactions [SIGMOD '14]
  Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica.
  Invited to ACM TODS "Best of SIGMOD 2014"

• Edelweiss: Automatic Storage Reclamation for Distributed Programming [VLDB '14]
  Neil Conway, Peter Alvaro, Emily Andrews, Joseph M. Hellerstein.

• Highly Available Transactions: Virtues and Limitations [VLDB '14]
  Peter Bailis, Aaron Davidson, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica.

• The Network is Reliable: An Informal Survey of Real-world Communications Failures [ACM Queue '14]
  Peter Bailis and Kyle Kingsbury.

• Quantifying Eventual Consistency with PBS [VLDBJ '14]
  Peter Bailis, Shivaram Venkataraman, Michael J. Franklin, Joseph M. Hellerstein, Ion Stoica.
  "Best of VLDB 2012" Special Issue

• Quantifying Eventual Consistency with PBS [Comm. ACM '14]
  Peter Bailis, Shivaram Venkataraman, Michael J. Franklin, Joseph M. Hellerstein, Ion Stoica.
  Research Highlight

• Consistency Without Borders. [SOCC '13]
  Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein.

• Bolt-on Causal Consistency. [SIGMOD '13]
  Peter Bailis, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica.

• HAT, not CAP: Towards Highly Available Transactions [HotOS '13]
  Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica.

• Eventual Consistency Today: Limitations, Extensions, and Beyond. [ACM Queue '14]
  Peter Bailis and Ali Ghodsi.

• The Potential Dangers of Causal Consistency and an Explicit Solution [SOCC '12].
  Peter Bailis, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica
• Logic and Lattices for Distributed Programming [SOCC '12].
  Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein and David Maier

• Probabilistically Bounded Staleness for Practical Partial Quorums [VLDB '12]
  Peter Bailis, Shivaram Venkataraman, Michael Franklin, Joseph M. Hellerstein, and Ion Stoica.
  Selected as CACM Research Highlight
  Invited to VLDB Journal "Best of VLDB 2012"

• Confluence Analysis for Distributed Programs: A Model-Theoretic Approach [Datalog 2.0 '12]
  William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein and David Maier

• BloomUnit: Declarative Testing for Distributed Programs [DBTest '12]
  Peter Alvaro, Andrew Hutchinson, Neil Conway, William R. Marczak, Joseph M. Hellerstein

• A Declarative Semantics for Dedalus [UCB Tech Report]
  Peter Alvaro, Tom J. Ameloot, Joseph M. Hellerstein, William R. Marczak, Jan Van den Bussche

• Dedalus: Datalog in Time and Space [Datalog Reloaded'11]
  Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears

• Consistency Analysis in Bloom: a CALM and Collected Approach [CIDR '11]
  Peter Alvaro, Neil Conway, Joseph M. Hellerstein, William R. Marczak

• The Declarative Imperative: Experiences and Conjectures in Distributed Logic [Keynote, PODS '10]
  Joseph M. Hellerstein

  Available as technical report, video, and presentation slides

• FATE and DESTINI: A Framework for Cloud Recovery Testing [NSDI '11]
  Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, Dhruba Borthakur

• Towards Automatically Checking Thousands of Failures with Micro-specifications [HotDep '10]
  (Extended TR)
  Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen

• BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud [EuroSys '10]
  Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, Russell Sears

  Please click here to download and run BOOM-FS

• MapReduce Online [NSDI '10]
  Tyson Condie, Neil Conway, Peter Alvaro, Joseph M. Hellerstein, Khaled Elmeleegy, Russell Sears

• Dedalus: Datalog in Time and Space [TR-UCB/EECS '09]
  Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, Russell Sears

• I Do Declare: Consensus in a Logic Language [NetDB '09]
  Peter Alvaro, Tyson Condie, Neil Conway, Joseph M. Hellerstein, Russell Sears

Earlier papers on Declarative Networking are available here.

Talk

• Coordination and Consistency in Distributed Databases
  Peter Bailis, SF Bay Area ACM Chapter Meeting and other venues, 2014
  Slides and RICON West Talk Video

• Logic and Lattices for Distributed Programming
  Neil Conway, BashoChats, June 2012

• How Eventual is Eventual Consistency? Introducing Probabilistically Bounded Staleness
  Peter Bailis, various venues, 2012
  

• Consistency Analysis in Bloom: a CALM and Collected Approach
  Joseph M. Hellerstein, CIDR '11

• The Declarative Imperative: Experiences and Conjectures in Distributed Logic
  Joseph M. Hellerstein, Keynote, PODS '10

• BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud
  Neil Conway, EuroSys '10

• Cloud Programming: From Doom and Gloom to BOOM and Bloom
  Neil Conway, Datalog 2.0 Workshop

• The Cloud Goes BOOM: Data-Centric Programming in the Datacenter
  Joe Hellerstein, Distinguished Lecture, Cornell, 2009

• I Do Declare
  Peter Alvaro, NetDB '09

• BOOM: Data-Centric Programming For The Data Center
  Peter Alvaro and Neil Conway, Stanford Infolunch, 4/17/2008

Earlier talks on Declarative Networking topics available here.