research
∙
04/12/2023
Learned multiphysics inversion with differentiable programming and machine learning
We present the Seismic Laboratory for Imaging and Modeling/Monitoring (S...
share
research
∙
12/03/2021
PyBryt: auto-assessment and auto-grading for computational thinking
We continuously interact with computerized systems to achieve goals and ...
research
∙
09/26/2020
Lossy Checkpoint Compression in Full Waveform Inversion
This paper proposes a new method that combines check-pointing methods wi...
research
∙
08/09/2019
Performance of Devito on HPC-Optimised ARM Processors
We evaluate the performance of Devito, a domain specific language (DSL) ...
research
∙
08/09/2019
Performance of Devito on HPC-Optimised ARM Processo
We evaluate the performance of Devito, a domain specific language (DSL) ...
research
∙
08/06/2018
Devito: an embedded domain-specific language for finite differences and geophysical exploration
We introduce Devito, a new domain-specific language for implementing hig...
research
∙
07/09/2018
Architecture and performance of Devito, a system for automated stencil computation
Stencil computations are a key part of many high-performance computing a...
research
∙
05/22/2018
Backpropagation for long sequences: beyond memory constraints with constant overheads
Naive backpropagation through time has a memory footprint that grows lin...
research
∙
08/10/2017
Automated Tiling of Unstructured Mesh Computations with Application to Seismological Modelling
Sparse tiling is a technique to fuse loops that access common data, thus...
research
∙
07/12/2017
Optimised finite difference computation from symbolic equations
Domain-specific high-productivity environments are playing an increasing...
research
∙
10/31/2016