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.00011313104
Overall Rank: 1,255 | 91.59%
DOI: -
PDF: Download (CC BY 3.0)

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
467	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017740891
807	Coordination Avoidance in Database Systems	2015	VLDB	0.00013734149
1,019	Serverless Computing: One Step Forward, Two Steps Back	2019	CIDR	0.0001243645
1,128	Structured Streaming: A Declarative API for Real-Time Applications in Apache Spark	2018	SIGMOD	0.00011887295
1,192	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00011555425
2,455	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.4213386e-05
2,721	Probabilistically Bounded Staleness for Practical Partial Quorums	2012	VLDB	8.0777028e-05
3,208	Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity	2015	SIGMOD	7.5187209e-05
3,476	DBOS: A DBMS-oriented Operating System	2022	VLDB	7.2552418e-05
4,175	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.7506691e-05
5,089	Datalog Unchained	2021	PODS	6.2661323e-05
5,400	New Directions in Cloud Programming	2021	CIDR	6.1336615e-05
5,548	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	6.0713859e-05
5,662	Lineage-driven Fault Injection	2015	SIGMOD	6.0298936e-05
5,906	Rule-Based Application Development using Webdamlog	2013	SIGMOD	5.9349249e-05
6,531	REEF: Retainable Evaluator Execution Framework	2015	SIGMOD	5.7363332e-05
6,965	GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database	2023	SIGMOD	5.6172617e-05
7,467	Interactive Checks for Coordination Avoidance	2019	VLDB	5.5043482e-05
8,075	Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture	2014	PODS	5.3786044e-05
9,436	Collaborative Access Control in WebdamLog	2015	SIGMOD	5.1646737e-05
9,553	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	5.1496254e-05
11,733	Distributed Consistency Beyond Queries	2023	PODS	4.9605343e-05
12,233	Performance in the Spotlight	2019	VLDB	4.9605343e-05
12,376	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS	4.9605343e-05
12,431	Inner CALM: Concurrency control protocols through the looking glass	2015	CIDR	4.9605343e-05
12,459	Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components	2015	SIGMOD	4.9605343e-05
12,553	Edelweiss: Automatic Storage Reclamation for Distributed Programming	2014	VLDB	4.9605343e-05
12,560	Engagements: Building Eventually ACiD Business Transactions	2013	CIDR	4.9605343e-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.00037911331
97	The Database Language GEM	1983	SIGMOD	0.00034172656
166	The Dangers of Replication and a Solution	1996	SIGMOD	0.00027196717
384	Life beyond Distributed Transactions: an Apostate's Opinion	2007	CIDR	0.00019432779
1,479	Building on Quicksand	2009	CIDR	0.00010511492
1,758	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS	9.6999549e-05
12,763	SecureBlox: Customizable Secure Distributed Data Processing	2010	SIGMOD	4.9605343e-05

Semantically Similar Papers

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