Devito: automated fast finite difference computation

08/30/2016
by   Navjot Kukreja, et al.
0

Domain specific languages have successfully been used in a variety of fields to cleanly express scientific problems as well as to simplify implementation and performance opti- mization on different computer architectures. Although a large number of stencil languages are available, finite differ- ence domain specific languages have proved challenging to design because most practical use cases require additional features that fall outside the finite difference abstraction. Inspired by the complexity of real-world seismic imaging problems, we introduce Devito, a domain specific language in which high level equations are expressed using symbolic expressions from the SymPy package. Complex equations are automatically manipulated, optimized, and translated into highly optimized C code that aims to perform compa- rably or better than hand-tuned code. All this is transpar- ent to users, who only see concise symbolic mathematical expressions.

READ FULL TEXT
research
07/12/2017

Optimised finite difference computation from symbolic equations

Domain-specific high-productivity environments are playing an increasing...
research
08/30/2011

Domain-specific Languages in a Finite Domain Constraint Programming System

In this paper, we present domain-specific languages (DSLs) that we devis...
research
05/20/2016

OPESCI-FD: Automatic Code Generation Package for Finite Difference Models

In this project, we introduce OPESCI-FD, a Python package built on symbo...
research
09/04/2017

Code Staging in GNU Guix

GNU Guix is a " functional " package manager that builds upon earlier wo...
research
05/16/2023

On the implementation of checkpointing with high-level algorithmic differentiation

Automated code generation allows for a separation between the developmen...
research
01/21/2021

A co-Design approach to develop a smart cooking appliance. Applying a Domain Specific Language for a community supported appliance

Our environment, whether at work, in public spaces, or at home, is becom...

Please sign up or login with your details

Forgot password? Click here to reset