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: 168
Venue: CIDR
Year: 2011
Pagerank: 0.00011536847
Overall Rank: 1,240 | 91.50%
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
490	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.000175757
867	Coordination Avoidance in Database Systems	2015	VLDB	0.00013511197
1,007	Serverless Computing: One Step Forward, Two Steps Back	2019	CIDR	0.00012691341
1,187	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00011760199
1,190	Structured Streaming: A Declarative API for Real-Time Applications in Apache Spark	2018	SIGMOD	0.00011743246
2,439	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.5785386e-05
2,665	Probabilistically Bounded Staleness for Practical Partial Quorums	2012	VLDB	8.280143e-05
3,186	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.6559187e-05
3,549	DBOS: A DBMS-oriented Operating System	2022	VLDB	7.3212765e-05
4,078	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.9209348e-05
4,943	Datalog Unchained	2021	PODS	6.4332239e-05
5,265	New Directions in Cloud Programming	2021	CIDR	6.2941668e-05
5,406	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	6.2289734e-05
5,574	Lineage-driven Fault Injection	2015	SIGMOD	6.1681803e-05
5,769	Rule-Based Application Development using Webdamlog	2013	SIGMOD	6.0941716e-05
6,430	REEF: Retainable Evaluator Execution Framework	2015	SIGMOD	5.880521e-05
6,811	GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database	2023	SIGMOD	5.7658045e-05
7,298	Interactive Checks for Coordination Avoidance	2019	VLDB	5.6520377e-05
7,884	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	5.5229059e-05
9,226	Collaborative Access Control in WebdamLog	2015	SIGMOD	5.3027519e-05
9,341	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	5.2859171e-05
11,365	Distributed Consistency Beyond Queries	2023	PODS	5.093636e-05
11,884	Performance in the Spotlight	2019	VLDB	5.093636e-05
12,032	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS	5.093636e-05
12,089	Inner CALM: Concurrency control protocols through the looking glass	2015	CIDR	5.093636e-05
12,117	Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components	2015	SIGMOD	5.093636e-05
12,213	Edelweiss: Automatic Storage Reclamation for Distributed Programming	2014	VLDB	5.093636e-05
12,220	Engagements: Building Eventually ACiD Business Transactions	2013	CIDR	5.093636e-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
64	Sagas	1987	SIGMOD	0.00038756588
92	The Database Language GEM	1983	SIGMOD	0.00034759032
164	The Dangers of Replication and a Solution	1996	SIGMOD	0.00027698879
374	Life beyond Distributed Transactions: an Apostate's Opinion	2007	CIDR	0.00019766683
1,457	Building on Quicksand	2009	CIDR	0.00010726983
1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS	9.9404301e-05
12,423	SecureBlox: Customizable Secure Distributed Data Processing	2010	SIGMOD	5.093636e-05

Semantically Similar Papers

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