Deriving Parallel Codes via Invariants
No abstract available.
Related papers
- Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications PPoPP 2005
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction VMCAI 2010
- Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes OOPSLA 2025
- Derivation of Invariant Assertions During Program Development by Transformation TOPLAS 1980
- Loop Invariant Symbolic Execution for Parallel Programs VMCAI 2012
- Automatic differentiation of parallel loops with formal methods PPoPP 2022
- Correctness Meets Performance: From Agda to Futhark ICFP 2025
- Induction duality: primal-dual search for invariants POPL 2022