An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
Abstract elided by the publisher.
Related papers
- Paths: An Abstract Alternative to Pointers POPL 1981
- Ownership Refinement Types for Pointer Arithmetic and Nested Arrays ECOOP 2026
- Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types ICFP 2023
- Comprehensive path-sensitive data-flow analysis CGO 2008
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Beyond the elementary representations of program invariants over algebraic data types PLDI 2021
- Automated Verification of Fundamental Algebraic Laws PLDI 2024
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025