Consistency Analysis in Bloom: a CALM and Collected Approach

Summary: Bloom: a Ruby DSL applying CALM to connect logical monotonicity with distributional consistency, encouraging order-insensitive programming. Static analysis pinpoints "points of order" needing coordination; validated on a key-value store and distributed shopping cart. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hcc9b33611af11bdf
Venue: CIDR
Year: 2011
Pagerank: 0.00011353116
Overall Rank: 1,245 | 91.64%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Peter Alvaro (University of California Berkeley)
2. Neil Conway (University of California Berkeley)
3. Joseph M. Hellerstein (University of California Berkeley)
4. William R. Marczak (University of California Berkeley)

BibTeX Citation

@inproceedings{alvaro_cidr11,
        address = {Amsterdam, Netherlands},
        series = {{CIDR} '11},
        title = {{Consistency Analysis in Bloom: a CALM and Collected Approach}},
        booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
        author = {Alvaro, Peter and Conway, Neil and Hellerstein, Joseph M. and Marczak, William R.},
        year = {2011}
}

Incoming Citations (Sorted by Pagerank)

Showing 28 of 28 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017773029
807	Coordination Avoidance in Database Systems	2015	VLDB	0.00013778758
1,019	Serverless Computing: One Step Forward, Two Steps Back	2019	CIDR	0.00012460326
1,123	Structured Streaming: A Declarative API for Real-Time Applications in Apache Spark	2018	SIGMOD	0.0001193233
1,194	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00011586405
2,451	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.4467767e-05
2,707	Probabilistically Bounded Staleness for Practical Partial Quorums	2012	VLDB	8.1071372e-05
3,198	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.5442646e-05
3,463	DBOS: A DBMS-oriented Operating System	2022	VLDB	7.2821994e-05
4,154	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.776227e-05
5,067	Datalog Unchained	2021	PODS	6.2898972e-05
5,380	New Directions in Cloud Programming	2021	CIDR	6.1551126e-05
5,524	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	6.0941977e-05
5,648	Lineage-driven Fault Injection	2015	SIGMOD	6.0523358e-05
5,889	Rule-Based Application Development using Webdamlog	2013	SIGMOD	5.9574348e-05
6,523	REEF: Retainable Evaluator Execution Framework	2015	SIGMOD	5.7568314e-05
6,941	GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database	2023	SIGMOD	5.6385668e-05
7,443	Interactive Checks for Coordination Avoidance	2019	VLDB	5.5252248e-05
8,052	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	5.3990042e-05
9,402	Collaborative Access Control in WebdamLog	2015	SIGMOD	5.1842615e-05
9,515	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	5.1691568e-05
11,681	Distributed Consistency Beyond Queries	2023	PODS	4.9793485e-05
12,184	Performance in the Spotlight	2019	VLDB	4.9793485e-05
12,327	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS	4.9793485e-05
12,382	Inner CALM: Concurrency control protocols through the looking glass	2015	CIDR	4.9793485e-05
12,410	Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components	2015	SIGMOD	4.9793485e-05
12,504	Edelweiss: Automatic Storage Reclamation for Distributed Programming	2014	VLDB	4.9793485e-05
12,511	Engagements: Building Eventually ACiD Business Transactions	2013	CIDR	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
66	Sagas	1987	SIGMOD	0.00038047495
96	The Database Language GEM	1983	SIGMOD	0.00034286345
165	The Dangers of Replication and a Solution	1996	SIGMOD	0.00027270353
381	Life beyond Distributed Transactions: an Apostate's Opinion	2007	CIDR	0.00019491561
1,478	Building on Quicksand	2009	CIDR	0.00010548037
1,744	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS	9.7353228e-05
12,714	SecureBlox: Customizable Secure Distributed Data Processing	2010	SIGMOD	4.9793485e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	9,033	Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows	2023	CIDR
2	7,443	Interactive Checks for Coordination Avoidance	2019	VLDB
3	9,194	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
4	12,504	Edelweiss: Automatic Storage Reclamation for Distributed Programming	2014	VLDB
5	14,432	Correctness in General Configurations of Transactional Components	1999	PODS
6	1,695	Bolt-on Causal Consistency	2013	SIGMOD
7	5,488	Keep CALM and CRDT On	2023	VLDB
8	2,451	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD
9	11,681	Distributed Consistency Beyond Queries	2023	PODS
10	12,382	Inner CALM: Concurrency control protocols through the looking glass	2015	CIDR