
Lossy Checkpoint Compression in Full Waveform Inversion
This paper proposes a new method that combines checkpointing methods wi...
read it

Automatic Differentiation for Adjoint Stencil Loops
Stencil loops are a common motif in computations including convolutional...
read it

Towards automatically building starting models for fullwaveform inversion using global optimization methods: A PSO approach via DEAP + Devito
In this work, we illustrate an example of estimating the macromodel of ...
read it

Training on the Edge: The why and the how
Edge computing is the natural progression from Cloud computing, where, i...
read it

Combining checkpointing and data compression for large scale seismic inversion
Seismic inversion and imaging are adjointbased optimization problems th...
read it

Devito: an embedded domainspecific language for finite differences and geophysical exploration
We introduce Devito, a new domainspecific language for implementing hig...
read it

Architecture and performance of Devito, a system for automated stencil computation
Stencil computations are a key part of many highperformance computing a...
read it

Backpropagation for long sequences: beyond memory constraints with constant overheads
Naive backpropagation through time has a memory footprint that grows lin...
read it

Highlevel python abstractions for optimal checkpointing in inversion problems
Inversion and PDEconstrained optimization problems often rely on solvin...
read it

Optimised finite difference computation from symbolic equations
Domainspecific highproductivity environments are playing an increasing...
read it

Devito: Towards a generic Finite Difference DSL using Symbolic Python
Domain specific languages (DSL) have been used in a variety of fields to...
read it

Devito: automated fast finite difference computation
Domain specific languages have successfully been used in a variety of fi...
read it

Performance prediction of finitedifference solvers for different computer architectures
The lifecycle of a partial differential equation (PDE) solver is often ...
read it
Navjot Kukreja
is this you? claim profile