@presentation {witte2017SINBADFals,
	title = {A large-scale framework in Julia for fast prototyping of seismic inversion algorithms},
	year = {2017},
	publisher = {SINBAD},
	abstract = {We present our progress on a large-scale seismic modeling workflow in Julia for wave-equation based inversion. The software offers a range of high-level abstractions to easily express PDE constrained optimization problems in terms of linear algebra expressions, while utilizing the DSL Devito to symbolically express the underlying PDEs and to generate fast and parallel code for solving them. Data containers and linear operators can be set up without much effort from input SEG-Y data and scale to large-scale 3D applications. This talk provides an overview of the basic functionalities of our software and applications to least squares imaging and 3D FWI.},
	keywords = {Presentation, SINBAD, SINBADFALL2017, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2017/Fall/witte2017SINBADFals/witte2017SINBADFals.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2017/Fall/witte2017SINBADFals/witte2017SINBADFals.mov},
	author = {Philipp A. Witte and Mathias Louboutin and Felix J. Herrmann}
}
@presentation {louboutin2017SINBADFldi,
	title = {Latest developments in Devito},
	year = {2017},
	publisher = {SINBAD},
	abstract = {We present an overview of the latest developments in Devito. We introduced Devito in the previous meeting as a prototype finite-difference DSL for seismic modelling and inversion. We are presenting here the latest improvements and functionalities of Devito. We will also discuss the current future plans as well as non-supported features that the audience may be interested in. This presentation will be followed by/mixed with a hands-in tutorial if the time and resources allows it.},
	keywords = {Presentation, SINBAD, SINBADFALL2017, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2017/Fall/louboutin2017SINBADFldi/louboutin2017SINBADFldi.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2017/Fall/louboutin2017SINBADFldi/louboutin2017SINBADFldi.mov},
	author = {Mathias Louboutin and Michael Lange and Fabio Luporini and Navjot Kurjeka and Jan Hueckelheim and Gerard Gorman and Philipp A. Witte and Felix J. Herrmann}
}
@presentation {witte2016SINBADFlst,
	title = {A large-scale time-domain modeling and inversion workflow in Julia},
	year = {2016},
	publisher = {SINBAD},
	abstract = {We present our initial steps towards the development of a large-scale seismic modeling workflow in Julia which provides a framework for wave-equation based inversion methods like full waveform inversion or least squares migration. Our framework is based on the Devito tool for optimized finite difference computations that generates highly optimized code from symbolic PDEs. We aim at developing a flexible workflow which is based on abstract operators and allows coding that is {\textquotedblleft}close to the math{\textquotedblright}, while at the same time relying on extremely fast and efficient, state of the art wave equation solvers.},
	keywords = {Presentation, SINBAD, SINBADFALL2016, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/witte2016SINBADFlst/witte2016SINBADFlst.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/witte2016SINBADFlst/witte2016SINBADFlst.mov},
	author = {Philipp A. Witte and Felix J. Herrmann}
}
@presentation {witte2016SINBADFpve,
	title = {Phase velocity error minimizing scheme for the anisotropic pure P-wave equation},
	year = {2016},
	publisher = {SINBAD},
	abstract = {Pure P-wave equations for acoustic modeling in transverse isotropic media are derived by approximating the exact pure P-wave dispersion relation. In this work, we present an alternative to the common Taylor expansion based equations, in which we approximate the exact dispersion relation through a polynomial expansion and determine its coefficients by solving a least squares problem that minimizes the phase velocity error over the complete range of phase angles. We show that this approach is up to an order of magnitude more accurate than other pure P-wave equations at a comparable computational cost.},
	keywords = {Presentation, SINBAD, SINBADFALL2016, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/witte2016SINBADFpve/witte2016SINBADFpve.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/witte2016SINBADFpve/witte2016SINBADFpve.mov},
	author = {Philipp A. Witte and Christiaan C. Stolk and Felix J. Herrmann}
}
@presentation {witte2016SINBADFtdl,
	title = {Time-domain least-squares RTM with sparsity promotion on field data},
	year = {2016},
	publisher = {SINBAD},
	abstract = {Least squares reverse time migration (LSRTM) is an inversion based imaging algorithm which can surpress acquisition related artifacts and provides images with increased frequency content, decreased noise level and balanced amplitudes. In this work demonstrate our time-domain LSRTM workflow using various pre-conditioners, source-subsampling and sparsity promotion and show its application to the 2D Machar field data set.},
	keywords = {Presentation, SINBAD, SINBADFALL2016, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/witte2016SINBADFtdl/witte2016SINBADFtdl.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/witte2016SINBADFtdl/witte2016SINBADFtdl.mov},
	author = {Philipp A. Witte and Felix J. Herrmann}
}
@presentation {yang2016SINBADFtds,
	title = {Time-domain sparsity-promoting least-squares migration with source estimation},
	year = {2016},
	publisher = {SINBAD},
	abstract = {Compared to traditional reverse-time migration (RTM), least-squares RTM (LS_RTM) is able to obtain true amplitude images as solutions of $\ell_2$-norm minimization problems by fitting the synthetic and observed reflection data. The shortcoming is that solutions of these $\ell_2$ problems tend to be overfitted and computationally too expensive. By working with randomized subsets of data only, the computational costs of LS-RTM can be brought down to an acceptable level, producing artifact-free high-resolution images. By including on-the-fly source-time function estimation into the method of Linearized Bregman (LB), we tackle the open issues of these "compressive imaging" in the aspects of algorithmic complexity of solver, guaranteed convergence and source estimation. We also inbvestigate whether the algorithm can be accelerated when we combine LB with the Nesterov method. Application of our algorithm on a 2D synthetic shows that we are able to get high-resolution images, with accurate estimates of the wavelet, for one single data pass.},
	keywords = {Presentation, SINBAD, SINBADFALL2016, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/yang2016SINBADFtds/yang2016SINBADFtds.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2016/Fall/yang2016SINBADFtds/yang2016SINBADFtds.m4v},
	author = {Mengmeng Yang and Philipp A. Witte and Zhilong Fang and Felix J. Herrmann}
}
@presentation {witte2015SINBADFara,
	title = {Anisotropic RTM applied to field data},
	year = {2015},
	publisher = {SINBAD},
	abstract = {In this talk we present our latest reverse time-migration results of the BP Machar data set, a 2D seismic line from the North sea featuring a large chalk dome. In contrast to our prior imaging attempts, we now account for anisotropic effects in the data using our new TTI pure quasi-P wave modeling code in the time domain.},
	keywords = {Presentation, SINBAD, SINBADFALL2015, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2015/Fall/witte2015SINBADFara/witte2015SINBADFara.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2015/Fall/witte2015SINBADFara/witte2015SINBADFara.mov},
	author = {Philipp A. Witte and Felix J. Herrmann}
}
@presentation {witte2015SINBADFtdf,
	title = {Time-domain FWI in TTI media},
	year = {2015},
	publisher = {SINBAD},
	abstract = {We develop an inversion workflow for tilted transverse isotropic (TTI) media using a purely acoustic formulation of the wave equation. The anisotropic modeling kernel is used for the forward modeling operator, as well as for the adjoint Jacobian to back propagate the data residual, thus providing the true gradient of the FWI objective function. We apply this workflow on a synthetic FWI example and perform RTM on a field data set. Furthermore, we discuss alternatives for the pseudo-spectral Laplacian operator of the current implementation.},
	keywords = {Presentation, SINBAD, SINBADFALL2015, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2015/Fall/witte2015SINBADFtdf/witte2015SINBADFtdf.pdf},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2015/Fall/witte2015SINBADFtdf/witte2015SINBADFtdf.mov},
	author = {Philipp A. Witte and Felix J. Herrmann}
}
