Coordinated Concurrent Programming in Syndicate
Abstract elided by the publisher.
Related papers
- Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors TOPLAS 1983
- Exclusion for composite objects OOPSLA 2000
- Declarative coordination of graph-based parallel programs PPoPP 2016
- Scalable join patterns OOPSLA 2011
- Concurrent aspects GPCE 2006
- Fully concurrent garbage collection of actors on many-core machines OOPSLA 2013
- Ensuring Convergence and Invariants Without Coordination ECOOP 2025
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007