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
7308
Venue
SIGMOD
Year
2025
Pagerank
4.1905499e-05
Overall Rank
10,534 | 26.79%
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.0019040811
39 Distributed GraphLab: A Framework for Machine Learning and Data Mining in the Cloud 2012 VLDB 0.00075263552
395 One Trillion Edges: Graph Processing at Facebook-Scale 2015 VLDB 0.00024440144
570 From "Think Like a Vertex" to "Think Like a Graph" 2014 VLDB 0.00019895021
1,170 Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs 2014 VLDB 0.00013526297
1,684 Fast Iterative Graph Computation with Block Updates 2013 VLDB 0.00010912102
2,332 Optimizing Graph Algorithms on Pregel-like Systems 2014 VLDB 9.0173968e-05
2,761 Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems 2015 VLDB 8.1616217e-05
2,812 TriAD: A Distributed Shared-Nothing RDF Engine based on Asynchronous Message Passing 2014 SIGMOD 8.0825994e-05
3,075 Evita Raced: Metacompilation for Declarative Networks 2008 VLDB 7.6078165e-05
11,200 Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations 2023 SIGMOD 4.1905499e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
9,335 Parallel Query Processing: To Separate Communication from Computation 2022 SIGMOD 4.351469e-05
2,169 Process And Dataflow Control In Distributed Data-Intensive Systems 1988 SIGMOD 9.385487e-05
1,674 Scheduling Problems in Parallel Query Optimization 1995 PODS 0.00010939926
6,322 Revisiting Pipelined Parallelism in Multi-Join Query Processing 2005 VLDB 5.1074949e-05
8,858 Automatic Contention Detection and Amelioration for Data-Intensive Operations 2010 SIGMOD 4.4302008e-05
8,173 The Power of Methods With Parallel Semantics 1991 VLDB 4.5640563e-05
10,894 Oligolithic Cross-task Optimizations across Isolated Workloads* 2024 CIDR 4.1905499e-05
3,129 Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources 1997 VLDB 7.5132501e-05
11,200 Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations 2023 SIGMOD 4.1905499e-05
1,826 Optimization Algorithms for Exploiting the Parallelism-Communication Tradeoff in Pipelined Parallelism 1994 VLDB 0.00010392071