Database Paper Browser

Back to papers

Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations

Summary: Pi-calculus-based behavioral equations model stateful parallel computations to reveal data sharing; OptiFusion performs merging, message-structure synthesis, local messaging elimination, and comm-to-local rewrites with aggregation pushdown. >10x speedups over baselines and up to 2x vs hand-optimized. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
7307
Venue
SIGMOD
Year
2025
Pagerank
4.1945683e-05
Overall Rank
10,525 | 26.78%
DOI
10.1145/3725421

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 11 of 11 cited papers.

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

Rank Cited Paper Year Venue Pagerank
4 Pregel: A System for Large-Scale Graph Processing 2010 SIGMOD 0.0019005923
37 Distributed GraphLab: A Framework for Machine Learning and Data Mining in the Cloud 2012 VLDB 0.0007522744
396 One Trillion Edges: Graph Processing at Facebook-Scale 2015 VLDB 0.00024424102
574 From "Think Like a Vertex" to "Think Like a Graph" 2014 VLDB 0.00019883211
1,171 Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs 2014 VLDB 0.00013511313
1,685 Fast Iterative Graph Computation with Block Updates 2013 VLDB 0.0001091808
2,336 Optimizing Graph Algorithms on Pregel-like Systems 2014 VLDB 9.0109891e-05
2,754 Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems 2015 VLDB 8.169411e-05
2,803 TriAD: A Distributed Shared-Nothing RDF Engine based on Asynchronous Message Passing 2014 SIGMOD 8.0940362e-05
3,069 Evita Raced: Metacompilation for Declarative Networks 2008 VLDB 7.6151182e-05
11,198 Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations 2023 SIGMOD 4.1945683e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
9,330 Parallel Query Processing: To Separate Communication from Computation 2022 SIGMOD 4.3556432e-05
2,164 Process And Dataflow Control In Distributed Data-Intensive Systems 1988 SIGMOD 9.3931778e-05
1,672 Scheduling Problems in Parallel Query Optimization 1995 PODS 0.00010949448
6,324 Revisiting Pipelined Parallelism in Multi-Join Query Processing 2005 VLDB 5.1109987e-05
8,858 Automatic Contention Detection and Amelioration for Data-Intensive Operations 2010 SIGMOD 4.4344518e-05
8,172 The Power of Methods With Parallel Semantics 1991 VLDB 4.5684406e-05
10,890 Oligolithic Cross-task Optimizations across Isolated Workloads* 2024 CIDR 4.1945683e-05
3,124 Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources 1997 VLDB 7.5201555e-05
11,198 Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations 2023 SIGMOD 4.1945683e-05
1,825 Optimization Algorithms for Exploiting the Parallelism-Communication Tradeoff in Pipelined Parallelism 1994 VLDB 0.00010401739