Concurrent Flexible Reversibility
Abstract elided by the publisher.
Related papers
- Programming Backpropagation with Reverse Handlers for Arrows ICFP 2026
- A computational interpretation of compact closed categories: reversible programming with negative and fractional types POPL 2021
- DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages TOPLAS 2016
- Efficient and Flexible Incremental Parsing TOPLAS 1998
- Searching for deadlocks while debugging concurrent haskell programs ICFP 2004
- Parsimonious Optimal Dynamic Partial Order Reduction CAV 2024
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- A flexible type system for fearless concurrency PLDI 2022