Promised messages: recovering from inconsistent global states
Abstract
No abstract available.
Related papers
- Stabilizers: a modular checkpointing abstraction for concurrent functional programs ICFP 2006
- Lightweight checkpointing for concurrent ML JFP 2010
- Behavioural Types for Local-First Software ECOOP 2023
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Reachability Analysis Using Message Passing over Tree Decompositions CAV 2020
- Taming type annotations in gradual typing OOPSLA 2020
- Swift: Expedited Failure Recovery for Large-Scale DNN Training PPoPP 2023
- Gradual liquid type inference OOPSLA 2018