%% This BibTeX bibliography file was created using BibDesk. %% http://bibdesk.sourceforge.net/ %% Created for Gerard Gorman at 2016-03-27 16:30:01 +0100 %% Saved with string encoding Unicode (UTF-8) @book{LionsJL1971, author={Lions, J. L.}, year ={1971}, title={Optimal control of systems governed by partial differential equations}, publisher= {Springer-Verlag Berlin Heidelberg}, ISBN={978-3-642-65026-0}, Edition={1st} } @book{Patterson, Address = {San Francisco, CA, USA}, Author = {Patterson, David A. and Hennessy, John L.}, Edition = {3rd}, Isbn = {0123706068, 9780123706065}, Publisher = {Morgan Kaufmann Publishers Inc.}, Title = {Computer Organization and Design: The Hardware/Software Interface}, Year = {2007} } @article{williams2009roofline, title={The Roofline model offers insight on how to improve the performance of software and hardware.}, author={WilliamS, SamueL and Waterman, AndreW and Patterson, David}, journal={communications of the acm}, volume={52}, number={4}, year={2009} } @techreport{asanovic2006landscape, title={The landscape of parallel computing research: A view from berkeley}, author={Asanovic, Krste and Bodik, Ras and Catanzaro, Bryan Christopher and Gebis, Joseph James and Husbands, Parry and Keutzer, Kurt and Patterson, David A and Plishker, William Lester and Shalf, John and Williams, Samuel Webb and others}, year={2006}, institution={Technical Report UCB/EECS-2006-183, EECS Department, University of California, Berkeley} } @presentation{SevenDwarfs, Author = {Phillip Colella}, year = {2004}, Title = {Defining Software Requirements for Scientific Computing}, journal={presentation} } @inproceedings{Kamil2006, Acmid = {1178605}, Address = {New York, NY, USA}, Author = {Kamil, Shoaib and Datta, Kaushik and Williams, Samuel and Oliker, Leonid and Shalf, John and Yelick, Katherine}, Booktitle = {Proceedings of the 2006 Workshop on Memory System Performance and Correctness}, Doi = {10.1145/1178597.1178605}, Isbn = {1-59593-578-9}, Location = {San Jose, California}, Numpages = {10}, Pages = {51--60}, Publisher = {ACM}, Series = {MSPC '06}, Title = {Implicit and Explicit Optimizations for Stencil Computations}, Url = {http://doi.acm.org/10.1145/1178597.1178605}, Year = {2006}, Bdsk-Url-1 = {http://doi.acm.org/10.1145/1178597.1178605}, Bdsk-Url-2 = {http://dx.doi.org/10.1145/1178597.1178605}} @article{Williams_Waterman_Patterson_2009, Abstractnote = {We propose an easy-to-understand, visual performance model that offers insights to programmers and architects on improving parallel software and hardware for floating point computations.}, Author = {Williams, Samuel and Waterman, Andrew and Patterson, David}, Journal = {Communications of the Association for Computing Machinery}, Month = {Feb}, Place = {United States}, Title = {Roofline: An Insightful Visual Performance Model for Floating-Point Programs and Multicore Architectures}, Url = {http://www.osti.gov/scitech/servlets/purl/963540}, Year = {2009}, Bdsk-Url-1 = {http://www.osti.gov/scitech/servlets/purl/963540}} @article{haber10TRemp, Abstract = {Often, parameter estimation problems of parameter-dependent PDEs involve multiple right-hand sides. The computational cost and memory requirements of such problems increase linearly with the number of right-hand sides. For many applications this is the main bottleneck of the computation. In this paper we show that problems with multiple right-hand sides can be reformulated as stochastic programming problems by combining the right-hand sides into a few {\quotedblbase}simultaneous{\textquotedblright} sources. This effectively reduces the cost of the forward problem and results in problems that are much cheaper to solve. We discuss two solution methodologies: namely sample average approximation and stochastic approximation. To illustrate the effectiveness of our approach we present two model problems, direct current resistivity and seismic tomography.}, Author = {Eldad Haber and Matthias Chung and Felix J. Herrmann}, Journal = {SIAM Journal on Optimization}, Keywords = {FWI, Optimization, SLIM}, Month = {7}, Number = {3}, Publisher = {UBC-Earth and Ocean Sciences Department}, Title = {An effective method for parameter estimation with {PDE} constraints with multiple right hand sides}, Url = {http://dx.doi.org/10.1137/11081126X}, Volume = {22}, Year = {2012}, Bdsk-Url-1 = {http://dx.doi.org/10.1137/11081126X}} @book{Patterson, Address = {San Francisco, CA, USA}, Author = {Patterson, David A. and Hennessy, John L.}, Edition = {3rd}, Isbn = {0123706068, 9780123706065}, Publisher = {Morgan Kaufmann Publishers Inc.}, Title = {Computer Organization and Design: The Hardware/Software Interface}, Year = {2007}} @article{PlessixASFWI, Author = {Plessix, R.-E.}, Doi = {10.1111/j.1365-246X.2006.02978.x}, Issn = {1365-246X}, Journal = {Geophysical Journal International}, Keywords = {adjoint state, gradient, migration, tomography}, Number = {2}, Pages = {495--503}, Publisher = {Blackwell Publishing Ltd}, Title = {A review of the adjoint-state method for computing the gradient of a functional with geophysical applications}, Url = {http://dx.doi.org/10.1111/j.1365-246X.2006.02978.x}, Volume = {167}, Year = {2006}, Bdsk-Url-1 = {http://dx.doi.org/10.1111/j.1365-246X.2006.02978.x}} @article{Symes2007, Author = {Symes}, Doi = {10.1190/1.2742686}, Eprint = {http://library.seg.org/doi/pdf/10.1190/1.2742686}, Journal = {GEOPHYSICS}, Number = {5}, Pages = {SM213-SM221}, Title = {Reverse Time Migration with Optimal Checkpointing}, Url = {http://library.seg.org/doi/abs/10.1190/1.2742686}, Volume = {72}, Year = {2007}, Bdsk-Url-1 = {http://library.seg.org/doi/abs/10.1190/1.2742686}, Bdsk-Url-2 = {http://dx.doi.org/10.1190/1.2742686}} @article{Virieux, Author = {J. Virieux and S. Operto}, Doi = {10.1190/1.3238367}, Eprint = {http://library.seg.org/doi/pdf/10.1190/1.3238367}, Journal = {GEOPHYSICS}, Number = {5}, Pages = {WCC1-WCC26}, Title = {An overview of full-waveform inversion in exploration geophysics}, Url = {http://library.seg.org/doi/abs/10.1190/1.3238367}, Volume = {74}, Year = {2009}, Bdsk-Url-1 = {http://library.seg.org/doi/abs/10.1190/1.3238367}, Bdsk-Url-2 = {http://dx.doi.org/10.1190/1.3238367}} @article{Plessi, Author = {Plessi}, Doi = {10.1111/j.1365-246X.2006.02978.x}, Eprint = {http://gji.oxfordjournals.org/content/167/2/495.full.pdf}, Journal = {Geophysical Journal International}, Number = {2}, Pages = {495-503}, Title = {A review of the adjoint-state method for computing the gradient of a functional with geophysical applications}, Url = {http://gji.oxfordjournals.org/content/167/2/495.short}, Volume = {167}, Year = {2006}, Bdsk-Url-1 = {http://gji.oxfordjournals.org/content/167/2/495.short}, Bdsk-Url-2 = {http://dx.doi.org/10.1111/j.1365-246X.2006.02978.x}} @article{Griewank2000ARA, Ad_Theotech = {Checkpointing}, Author = {Andreas Griewank and Andrea Walther}, Coden = {ACMSCU}, Issn = {0098-3500}, Journal = {{ACM} Transactions on Mathematical Software}, Note = {Also appeared as Technical University of Dresden, Technical Report IOKOMO-04-1997.}, Number = {1}, Pages = {19--45}, Title = {Algorithm 799: {R}evolve: {A}n Implementation of Checkpoint for the Reverse or Adjoint Mode of Computational Differentiation}, Volume = {26}, Year = {2000}} @unpublished{louboutin2015SEGtcs, Abstract = {Time-domain Full-Waveform Inversion (FWI) aims to image the subsurface of the earth accurately from field recorded data and can be solved via the reduced adjoint-state method. However, this method requires access to the forward and adjoint wavefields that are meet when computing gradient updates. The challenge here is that the adjoint wavefield is computed in reverse order during time stepping and therefore requires storage or other type of mitigation because storing the full time history of the forward wavefield is too expensive in realistic 3D settings. To overcome this challenge, we propose an approximate adjoint-state method where the wavefields are subsampled randomly, which drastically the amount of storage needed. By using techniques from stochastic optimization, we control the errors induced by the subsampling. Examples of the proposed technique on a synthetic but realistic 2D model show that the subsampling-related artifacts can be reduced significantly by changing the sampling for each source after each model update. Combination of this gradient approximation with a quasi-Newton method shows virtually artifact free inversion results requiring only 5\% of storage compared to saving the history at Nyquist. In addition, we avoid having to recompute the wavefields as is required by checkpointing.}, Author = {Mathias Louboutin and Felix J. Herrmann}, Keywords = {acoustic, Full-waveform inversion, inversion, private, SEG, Stochastic optimization, Subsampling, Time-domain}, Note = {(submitted to the SEG conference)}, Title = {Time compressively sampled full-waveform inversion with stochastic optimization}, Url = {https://www.slim.eos.ubc.ca/Publications/Private/Conferences/SEG/2015/louboutin2015SEGtcs/louboutin2015SEGtcs.html}, Year = {2015}, Bdsk-Url-1 = {https://www.slim.eos.ubc.ca/Publications/Private/Conferences/SEG/2015/louboutin2015SEGtcs/louboutin2015SEGtcs.html}}