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: 7369
Venue: SIGMOD
Year: 2025
Pagerank: 5.093636e-05
Overall Rank: 10,797 | 25.93%
DOI: 10.1145/3725421

Incoming Non-self Citations Over Time

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

Authors

1. Zilu Tian (University of Zurich)
2. Dan Olteanu (University of Zurich)
3. Christoph Koch (EPFL)

BibTeX Citation

@inproceedings{tian_sigmod25,
        title = {{Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations}},
        author = {Tian, Zilu and Olteanu, Dan and Koch, Christoph},
        series = {{SIGMOD} '25},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3725421},
        url = {https://dl.acm.org/doi/10.1145/3725421},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

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
3	Pregel: A System for Large-Scale Graph Processing	2010	SIGMOD	0.0012250108
20	Distributed GraphLab: A Framework for Machine Learning and Data Mining in the Cloud	2012	VLDB	0.00056944564
389	One Trillion Edges: Graph Processing at Facebook-Scale	2015	VLDB	0.00019386526
487	From "Think Like a Vertex" to "Think Like a Graph"	2014	VLDB	0.00017645653
937	Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs	2014	VLDB	0.00013091546
1,911	Fast Iterative Graph Computation with Block Updates	2013	VLDB	9.4965133e-05
2,287	TriAD: A Distributed Shared-Nothing RDF Engine based on Asynchronous Message Passing	2014	SIGMOD	8.8034872e-05
2,295	Optimizing Graph Algorithms on Pregel-like Systems	2014	VLDB	8.7932254e-05
2,325	Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems	2015	VLDB	8.7495171e-05
3,097	Evita Raced: Metacompilation for Declarative Networks	2008	VLDB	7.7619658e-05
11,400	Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations	2023	SIGMOD	5.093636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	9,478	Parallel Query Processing: To Separate Communication from Computation	2022	SIGMOD
2	2,606	Process And Dataflow Control In Distributed Data-Intensive Systems	1988	SIGMOD
3	2,068	Scheduling Problems in Parallel Query Optimization	1995	PODS
4	6,515	Revisiting Pipelined Parallelism in Multi-Join Query Processing	2005	VLDB
5	8,962	Automatic Contention Detection and Amelioration for Data-Intensive Operations	2010	SIGMOD
6	8,569	The Power of Methods With Parallel Semantics	1991	VLDB
7	11,113	Oligolithic Cross-task Optimizations across Isolated Workloads*	2024	CIDR
8	3,046	Parallel Query Scheduling and Optimization with Time- and Space-Shared Resources	1997	VLDB
9	11,400	Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations	2023	SIGMOD
10	2,131	Optimization Algorithms for Exploiting the Parallelism-Communication Tradeoff in Pipelined Parallelism	1994	VLDB