We introduce Devito, a new domain-specific language for implementing high-performance
finite-difference partial differential equation solvers. The motivating application is exploration …

Deep convolutional neural networks are having quite an impact and have resulted in step
changes in the capabilities of image and voice recognition systems and there are indications …

Stencil computation is an important class of algorithms used in a large variety of scientific-
simulation applications, especially those arising from finite-difference numerical solutions to …

In order to obtain accurate images of the subsurface, anisotropic modeling and imaging is
necessary. However, the twenty-one parameter complete wave-equation is too …

As in many fields, in seismic imaging, the data in the field is collected over a relatively large
medium even though only a part of that medium is truly of interest. This results in significant …

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 …

Simultaneous shooting methods using encoded sweeps can enhance the productivity of
land acquisition in situations where deployment of many vibrators and larger receiver …

The increasing complexity of modern computer architectures means that developers are
having to work much harder at implementing and optimizing scientific modelling codes for …

Code generation from domain-specific languages is becoming increasingly popular as a
method to obtain optimised low-level code that performs well on a given platform and for a …

Understanding CO2 plume behavior is key to the success of geological carbon storage
projects. While two-phase flow equations provide a good model to make predictions on …