Analysis of Asynchronous Programs with Event-Based Synchronization
No abstract available.
Related papers
- Natural proofs for asynchronous programs using almost-synchronous reductions OOPSLA 2014
- May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization SAS 2015
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side POPL 2019
- Finding broken promises in asynchronous JavaScript programs OOPSLA 2018
- Analysis of Event Synchronization in A Parallel Programming Tool PPoPP 1990
- Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations PPoPP 1990
- Automatic migration from synchronous to asynchronous JavaScript APIs OOPSLA 2021
- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing VMCAI 2010