Functional Dependency for Verification Reduction
Abstract elided by the publisher.
Related papers
- Revealing parallel scans and reductions in sequential loops through function reconstruction PPoPP 2018
- Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk) CAV 2026
- PLEX: Normalization for Refinement Types OOPSLA 2026
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels OOPSLA 2013
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction VMCAI 2020
- Implementing the Evaluation Transformer Model of Reduction on Parallel Machines JFP 1991
- Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory POPL 2026