Protocol Specialization
Abstract elided by the publisher.
Related papers
- WARDen: Specializing Cache Coherence for High-Level Parallel Languages CGO 2023
- Optimization of swift protocols OOPSLA 2019
- Replicated data types: specification, verification, optimality POPL 2014
- Specy: Learning Specifications for Distributed Systems from Event Traces OOPSLA 2026
- Parallel Breadth-First BDD Construction PPoPP 1997
- Specialization of CML message-passing primitives POPL 2007
- Special Delivery: Programming with Mailbox Types ICFP 2023
- Asphalion: trustworthy shielding against Byzantine faults OOPSLA 2019