Modular Causality in a Synchronous Stream Language
Abstract elided by the publisher.
Related papers
- Causal commutative arrows revisited Haskell 2016
- Distributed causal memory: modular specification and verification in higher-order distributed separation logic POPL 2021
- Static serializability analysis for causal consistency PLDI 2018
- Imperative Streams - A Monadic Combinator Library for Synchronous Programming ICFP 1998
- Stream processing with dependency-guided synchronization PPoPP 2022
- Modular verification of op-based CRDTs in separation logic OOPSLA 2022
- Causal commutative arrows and their optimization ICFP 2009
- Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes PLDI 2017