Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis
No abstract available.
Related papers
- A dual number abstraction for static analysis of Clarke Jacobians POPL 2022
- Reachability for Nonsmooth Systems with Lexicographic Jacobians TACAS 2025
- Efficient differentiable programming in a functional array-processing language ICFP 2019
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- A Tensor Algebra Compiler for Sparse Differentiation CGO 2024
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- Inner and Outer Approximating Flowpipes for Delay Differential Equations CAV 2018
- Efficient CHAD POPL 2024