May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
No abstract available.
Related papers
- StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution TOPLAS 2026
- Constraint-Based Inter-Procedural Analysis of Parallel Programs ESOP 2000
- ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM OOPSLA 2014
- Efficient May Happen in Parallel Analysis for Async-Finish Parallelism SAS 2012
- May-happen-in-parallel analysis with static vector clocks CGO 2018
- Deferred methods: accelerating dynamic program analysis on multicores CGO 2012
- May-happen-in-parallel analysis of X10 programs PPoPP 2007
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018