Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
Abstract elided by the publisher.
Related papers
- Compiler Optimizations for Eliminating Barrier Synchronization PPoPP 1995
- Fundamentalist functional programming GPCE 2008
- Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols ECOOP 2023
- Label-dependent session types POPL 2020
- Eliminating synchronization bottlenecks using adaptive replication TOPLAS 2003
- Complx: a verification framework for concurrent imperative programs CPP 2017
- Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation PLDI 1995
- Introduction and elimination, left and right ICFP 2022