Uncovering Symmetries in Irregular Process Networks
No abstract available.
Related papers
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Accelerating GNNs on GPU Sparse Tensor Cores through N: M Sparsity-Oriented Graph Reordering PPoPP 2025
- A Hoare Logic for Symmetry Properties OOPSLA 2025
- How much parallelism is there in irregular applications? PPoPP 2009
- Scaling network verification using symmetry and surgery POPL 2016
- Optimistic parallelism requires abstractions PLDI 2007
- SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions CAV 2021
- Looplets: A Language for Structured Coiteration CGO 2023