Static Analysis of Communication for Asynchronous Concurrent Programming Languages
No abstract available.
Related papers
- Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP 2020
- CAMP: cost-aware multiparty session protocols OOPSLA 2020
- Enabling Additional Parallelism in Asynchronous JavaScript Applications ECOOP 2021
- Circal and the Representation of Communication, Concurrency, and Time TOPLAS 1985
- Asynchronous programming, analysis and testing with state machines PLDI 2015
- Synchronization of Asynchronous Processes in CSP TOPLAS 1989
- Deadlock-free asynchronous message reordering in rust with multiparty session types PPoPP 2022
- Contrasting Deadlock-Free Session Processes ECOOP 2025