Future-Proofing Collections: From Mutable to Persistent to Parallel
Abstract elided by the publisher.
Related papers
- Persistent triangulations Journal of Functional Programming JFP 2001
- Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers OOPSLA 2017
- Responsive parallelism with futures and state PLDI 2020
- Disentanglement with Futures, State, and Interaction POPL 2024
- Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust CPP 2026
- Persistence for the masses: RRB-vectors in a systems language ICFP 2017
- A Fully Verified Persistency Library VMCAI 2024
- Automatic parallelization of pure method calls via conditional future synthesis OOPSLA 2016