2019
DOI: 10.5194/gmd-12-1165-2019
|View full text |Cite
|
Sign up to set email alerts
|

Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration

Abstract: Abstract. We introduce Devito, a new domain-specific language for implementing high-performance finite-difference partial differential equation solvers. The motivating application is exploration seismology for which methods such as full-waveform inversion and reverse-time migration are used to invert terabytes of seismic data to create images of the Earth's subsurface. Even using modern supercomputers, it can take weeks to process a single seismic survey and create a useful subsurface image. The computational … Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
66
0

Year Published

2019
2019
2022
2022

Publication Types

Select...
4
3
1
1

Relationship

1
8

Authors

Journals

citations
Cited by 134 publications
(71 citation statements)
references
References 56 publications
0
66
0
Order By: Relevance
“…The hard boundary implies no memory coherency, therefore information must be exchanged between the two domains in order to solve Equation 3 correctly. line of research, domain-specific languages (DSLs) and domainspecific parallel programming models and compiler optimizations for stencils have been proposed (e.g., [19,23,34]). Performance models have been developed for this computing pattern (see [11]), and the kernel has been ported to a variety of platforms ( [3,4]).…”
Section: Related Work 31 Stencil Computationmentioning
confidence: 99%
“…The hard boundary implies no memory coherency, therefore information must be exchanged between the two domains in order to solve Equation 3 correctly. line of research, domain-specific languages (DSLs) and domainspecific parallel programming models and compiler optimizations for stencils have been proposed (e.g., [19,23,34]). Performance models have been developed for this computing pattern (see [11]), and the kernel has been ported to a variety of platforms ( [3,4]).…”
Section: Related Work 31 Stencil Computationmentioning
confidence: 99%
“…It would have been possible to use a code generator already based on SymPy (see e.g. Louboutin et al (2019)) but such code generators being domain specific, it was less adapted to the investigation of the PKF for arbitrary dynamics. In place, we consider a finite difference implementation of partial derivatives with respect to spatial coordinates.…”
Section: Automatic Code Generation For Numerical Simulationsmentioning
confidence: 99%
“…Synthetic shot gathers were then migrated in depth using a reverse-time algorithm. Both modeling and reverse-time migration were conducted with Devito [38].…”
Section: D Seismic Syntheticsmentioning
confidence: 99%