202 citations · 431 across the 32 of their papers we have counts for
5 papers · 1 filter
Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems
Navjot Kukreja, Jan Hueckelheim, Mathias Louboutin +3
Seismic inversion and imaging are adjoint-based optimization problems that process up to terabytes of data, regularly exceeding the memory capacity of available computers. Data com…
Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration
Mathias Louboutin, Michael Lange, Fabio Luporini +5
We introduce Devito, a new domain-specific language for implementing high-performance finite difference partial differential equation solvers. The motivating application is explora…
Architecture and performance of Devito, a system for automated stencil computation
Fabio Luporini, Michael Lange, Mathias Louboutin +7
Stencil computations are a key part of many high-performance computing applications, such as image processing, convolutional neural networks, and finite-difference solvers for part…
Backpropagation for long sequences: beyond memory constraints with constant overheads
Navjot Kukreja, Jan Hückelheim, Gerard J. Gorman
Naive backpropagation through time has a memory footprint that grows linearly in the sequence length, due to the need to store each state of the forward propagation. This is a prob…
High-level python abstractions for optimal checkpointing in inversion problems
Navjot Kukreja, Jan Hückelheim, Michael Lange +4
Inversion and PDE-constrained optimization problems often rely on solving the adjoint problem to calculate the gradient of the objec- tive function. This requires storing large amo…