DSL and compiler framework for automated finite-differences and stencil ...
Julia Devito inversion.
RTM