Adjoint Debugging

Overview

This manual covers techniques for verifying adjoint computations in AADC using finite difference (FD) bump-and-revalue methods. The AADC kernel allows introducing shifts in intermediate variable values to compute FD sensitivities for comparison with analytical adjoints.

Key Features:

FD verification: Compare analytical adjoints against finite difference approximations
Variable bumping: Introduce shifts in intermediate variables via AADCDebugFwdBumpVar()
Targeted instrumentation: Enable debugging for specific code sections
Debugger integration: Stop at specific variable creation for stack trace analysis

Typical Workflow:

Enable instrumentation for target section
Run adjoint computation
Verify with finite difference
Identify discrepancies
Debug specific variables with debugger integration

This is a preview of the Adjoint Debugging documentation.

The full documentation includes API reference, step-by-step examples, and troubleshooting tips.