Automatic Verification of RMA Programs via Abstraction Extrapolation
Abstract elided by the publisher.
Related papers
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Program extrapolation with jennisys OOPSLA 2012
- Abstracting Induction by Extrapolation and Interpolation VMCAI 2015
- Modeling and analysis of remote memory access programming OOPSLA 2016
- Synthesizing software verifiers from proof rules PLDI 2012
- Extrapolating Tree Transformations CAV 2002
- ESTIMA: extrapolating scalability of in-memory applications PPoPP 2016
- ScalaExtrap: Trace-based communication extrapolation for SPMD programs TOPLAS 2012