Don't Unroll Adjoint: Differentiating SSA-Form Programs
Not on the map. Why?
Abstract (arXiv)
This paper presents reverse-mode algorithmic differentiation (AD) based on source code transformation, in particular of the Static Single Assignment (SSA) form used by modern compilers. The approach can support control flow, nesting, mutation, recursion, data structures, higher-order functions, and other language constructs, and the output is given to an existing compiler to produce highly efficient differentiated code. Our implementation is a new AD tool for the Julia language, called Zygote, which presents high-level dynamic semantics while transparently compiling adjoint code under the hood. We discuss the benefits of this approach to both the usability and performance of AD tools.
Key facts. Cited by 44 papers in the map (data through 7 Oct 2026). First posted on arXiv 18 Oct 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 11; 2022: 10; 2023: 5; 2024: 5; 2025: 7; 2026: 6.
44 papers.
Sort:
By area:
- 2021Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustnesscited by 43
- 2021Torch.fx: Practical Program Capture and Transformation for Deep Learning in Pythoncited by 38
- 2023Interpretable Machine Learning for Science with PySR and SymbolicRegression.jlcited by 36
- 2022Automatic Differentiation of Programs with Discrete Randomnesscited by 28
- 2021Opening the Blackbox: Accelerating Neural Differential Equations by Regularizing Internal Solver Heuristicscited by 26
- 2021Discovering Sparse Interpretable Dynamics from Partial Observationscited by 25
- 2021Physics-enhanced deep surrogates for partial differential equationscited by 18
- 2023Stabilized Neural Differential Equations for Learning Dynamics with Explicit Constraintscited by 15
- 2024Dual Lagrangian Learning for Conic Optimizationcited by 11
- 2024PIG: Physics-Informed Gaussians as Adaptive Parametric Mesh Representationscited by 11
- 2022Scalable First-Order Bayesian Optimization via Structured Automatic Differentiationcited by 10
- 2021Combining Pseudo-Point and State Space Approximations for Sum-Separable Gaussian Processescited by 7
32 more
- 2022Closed-Form Diffeomorphic Transformations for Time Series Alignmentcited by 7
- 2022Physics-informed machine learning with differentiable programming for heterogeneous underground reservoir pressure managementcited by 7
- 2023Learned multiphysics inversion with differentiable programming and machine learningcited by 7
- 2022DiSECt: A Differentiable Simulator for Parameter Inference and Control in Robotic Cuttingcited by 6
- 2024Proximal Oracles for Optimization and Samplingcited by 5
- 2024What You See is Not What You Get: Neural Partial Differential Equations and The Illusion of Learningcited by 5
- 2024Provably Scalable Black-Box Variational Inference with Structured Variational Familiescited by 4
- 2025Sparser, Better, Faster, Stronger: Sparsity Detection for Efficient Automatic Differentiationcited by 4
- 2025Branching Flows: Discrete, Continuous, and Manifold Flow Matching with Splits and Deletionscited by 4
- 2021Spline parameterization of neural network controls for deep learningcited by 3
- 2021Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networkscited by 3
- 2022NeuralFMU: Presenting a workflow for integrating hybrid NeuralODEs into real world applicationscited by 3
- 2022Recursive Neural Programs: Variational Learning of Image Grammars and Part-Whole Hierarchiescited by 2
- 2021Physics informed machine learning with Smoothed Particle Hydrodynamics: Hierarchy of reduced Lagrangian models of turbulencecited by 1
- 2022Optimisation of Structured Neural Controller Based on Continuous-Time Policy Gradientcited by 1
- 2023RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustnesscited by 1
- 2025Generalization vs. Memorization in Autoregressive Deep Learning: Or, Examining Temporal Decay of Gradient Coherencecited by 1
- 2026Distributionally Robust PAC-Bayesian Controlcited by 1
- 2026Investigating Action Encodings in Recurrent Neural Networks in Reinforcement Learningcited by 1
- 2021Self-explaining variational posterior distributions for Gaussian Process modelscited by 0
- 2021Coarsening Optimization for Differentiable Programmingcited by 0
- 2022Combinatory Adjoints and Differentiationcited by 0
- 2022Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfactioncited by 0
- 2023Chemellia: An Ecosystem for Atomistic Scientific Machine Learningcited by 0
- 2025A Common Interface for Automatic Differentiationcited by 0
- 2025Universal Differential Equations for Scientific Machine Learning of Node-Wise Battery Dynamics in Smart Gridscited by 0
- 2025Residual-Informed Learning of Solutions to Algebraic Loopscited by 0
- 2025CODE: A global approach to ODE dynamics learningcited by 0
- 2026Loss Landscape Geometry of Partial Differential Equation Emulators: Or, Symmetry Learning via Gradient Alignmentcited by 0
- 2026A Differentiable Atari VCS:A Complex, Fully Known Ground Truth for Explainable AIcited by 0
- 2026Mosaic: A Benchmark Suite for Differentiable Physics Solverscited by 0
- 2026Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learningcited by 0
- 2026Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning3 Jul 2026
- 2026Mosaic: A Benchmark Suite for Differentiable Physics Solvers26 Jun 2026
- 2026A Differentiable Atari VCS:A Complex, Fully Known Ground Truth for Explainable AI21 Jun 2026
- 2026Investigating Action Encodings in Recurrent Neural Networks in Reinforcement Learning4 May 2026
- 2026Distributionally Robust PAC-Bayesian Control12 Apr 2026
- 2026Loss Landscape Geometry of Partial Differential Equation Emulators: Or, Symmetry Learning via Gradient Alignment28 Jan 2026
- 2025CODE: A global approach to ODE dynamics learning19 Nov 2025
- 2025Branching Flows: Discrete, Continuous, and Manifold Flow Matching with Splits and Deletions12 Nov 2025
- 2025Residual-Informed Learning of Solutions to Algebraic Loops10 Oct 2025
- 2025Generalization vs. Memorization in Autoregressive Deep Learning: Or, Examining Temporal Decay of Gradient Coherence18 Aug 2025
- 2025Universal Differential Equations for Scientific Machine Learning of Node-Wise Battery Dynamics in Smart Grids9 Jun 2025
- 2025A Common Interface for Automatic Differentiation8 May 2025
32 more
- 2025Sparser, Better, Faster, Stronger: Sparsity Detection for Efficient Automatic Differentiation29 Jan 2025
- 2024PIG: Physics-Informed Gaussians as Adaptive Parametric Mesh Representations8 Dec 2024
- 2024What You See is Not What You Get: Neural Partial Differential Equations and The Illusion of Learning22 Nov 2024
- 2024Proximal Oracles for Optimization and Sampling2 Apr 2024
- 2024Dual Lagrangian Learning for Conic Optimization5 Feb 2024
- 2024Provably Scalable Black-Box Variational Inference with Structured Variational Families19 Jan 2024
- 2023RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness22 Jun 2023
- 2023Stabilized Neural Differential Equations for Learning Dynamics with Explicit Constraints16 Jun 2023
- 2023Chemellia: An Ecosystem for Atomistic Scientific Machine Learning19 May 2023
- 2023Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl2 May 2023
- 2023Learned multiphysics inversion with differentiable programming and machine learning12 Apr 2023
- 2022Automatic Differentiation of Programs with Discrete Randomness16 Oct 2022
- 2022NeuralFMU: Presenting a workflow for integrating hybrid NeuralODEs into real world applications8 Sep 2022
- 2022Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction8 Sep 2022
- 2022Combinatory Adjoints and Differentiation2 Jul 2022
- 2022Physics-informed machine learning with differentiable programming for heterogeneous underground reservoir pressure management21 Jun 2022
- 2022Recursive Neural Programs: Variational Learning of Image Grammars and Part-Whole Hierarchies16 Jun 2022
- 2022Scalable First-Order Bayesian Optimization via Structured Automatic Differentiation16 Jun 2022
- 2022Closed-Form Diffeomorphic Transformations for Time Series Alignment16 Jun 2022
- 2022DiSECt: A Differentiable Simulator for Parameter Inference and Control in Robotic Cutting19 Mar 2022
- 2022Optimisation of Structured Neural Controller Based on Continuous-Time Policy Gradient17 Jan 2022
- 2021Torch.fx: Practical Program Capture and Transformation for Deep Learning in Python15 Dec 2021
- 2021Physics-enhanced deep surrogates for partial differential equations10 Nov 2021
- 2021Physics informed machine learning with Smoothed Particle Hydrodynamics: Hierarchy of reduced Lagrangian models of turbulence25 Oct 2021
- 2021Coarsening Optimization for Differentiable Programming5 Oct 2021
- 2021Self-explaining variational posterior distributions for Gaussian Process models8 Sep 2021
- 2021Discovering Sparse Interpretable Dynamics from Partial Observations22 Jul 2021
- 2021Combining Pseudo-Point and State Space Approximations for Sum-Separable Gaussian Processes18 Jun 2021
- 2021Opening the Blackbox: Accelerating Neural Differential Equations by Regularizing Internal Solver Heuristics9 May 2021
- 2021Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks19 Apr 2021
- 2021Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustness13 Apr 2021
- 2021Spline parameterization of neural network controls for deep learning27 Feb 2021
- 2021Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustnesscited by 43
- 2021Torch.fx: Practical Program Capture and Transformation for Deep Learning in Pythoncited by 38
- 2023Interpretable Machine Learning for Science with PySR and SymbolicRegression.jlcited by 36
- 2022Automatic Differentiation of Programs with Discrete Randomnesscited by 28
- 2021Opening the Blackbox: Accelerating Neural Differential Equations by Regularizing Internal Solver Heuristicscited by 26
- 2021Discovering Sparse Interpretable Dynamics from Partial Observationscited by 25
- 2021Physics-enhanced deep surrogates for partial differential equationscited by 18
- 2023Stabilized Neural Differential Equations for Learning Dynamics with Explicit Constraintscited by 15
- 2024Dual Lagrangian Learning for Conic Optimizationcited by 11
- 2024PIG: Physics-Informed Gaussians as Adaptive Parametric Mesh Representationscited by 11
- 2022Scalable First-Order Bayesian Optimization via Structured Automatic Differentiationcited by 10
- 2021Combining Pseudo-Point and State Space Approximations for Sum-Separable Gaussian Processescited by 7
12 most cited of 43 All 43 (JSON)
- 2026Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning3 Jul 2026
- 2026Mosaic: A Benchmark Suite for Differentiable Physics Solvers26 Jun 2026
- 2026A Differentiable Atari VCS:A Complex, Fully Known Ground Truth for Explainable AI21 Jun 2026
- 2026Investigating Action Encodings in Recurrent Neural Networks in Reinforcement Learning4 May 2026
- 2026Distributionally Robust PAC-Bayesian Control12 Apr 2026
- 2026Loss Landscape Geometry of Partial Differential Equation Emulators: Or, Symmetry Learning via Gradient Alignment28 Jan 2026
- 2025CODE: A global approach to ODE dynamics learning19 Nov 2025
- 2025Residual-Informed Learning of Solutions to Algebraic Loops10 Oct 2025
- 2025Generalization vs. Memorization in Autoregressive Deep Learning: Or, Examining Temporal Decay of Gradient Coherence18 Aug 2025
- 2025Universal Differential Equations for Scientific Machine Learning of Node-Wise Battery Dynamics in Smart Grids9 Jun 2025
- 2025A Common Interface for Automatic Differentiation8 May 2025
- 2025Sparser, Better, Faster, Stronger: Sparsity Detection for Efficient Automatic Differentiation29 Jan 2025
12 newest of 43 All 43 (JSON)