PhD Defense by Mathias Louboutin

Event Details
  • Date/Time:
    • Wednesday February 26, 2020
      11:00 am - 1:00 pm
  • Location: Coda C1015 ("Vinings")
  • Phone:
  • URL:
  • Email:
  • Fee(s):
    N/A
  • Extras:
Contact
No contact information submitted.
Summaries

Summary Sentence: Modeling for inversion in exploration geophysics

Full Summary: No summary paragraph submitted.

Title: Modeling for inversion in exploration geophysics

Mathias Louboutin

Ph.D. Candidate in Computational Science and Engineering

School of Computational Science and Engineering
College of Computing
Georgia Institute of Technology

Date: Wednesday, February 26, 2020
Time: 11:00 AM - 1:00 PM (EST)
Location: Coda C1015 ("Vinings")

Committee:
Dr. Felix J. Herrmann (Advisor, School of Computational Science and Engineering, Georgia Institute of Technology)
Dr. Umit Catalyurek (School of Computational Science and Engineering, Georgia Institute of Technology)
Dr. Edmond Chow (School of Computational Science and Engineering, Georgia Institute of Technology)
Dr. Tobin Isaac (School of Computational Science and Engineering, Georgia Institute of Technology)
Dr. Zhigang Peng (School of Earth and Atmospheric Sciences, Georgia Institute of Technology)

Abstract:

 

Seismic inversion, and more generally geophysical exploration, aims at better understanding the earth's subsurface, which is one of today's most important challenges. Firstly, it contains natural resources that are critical to our technologies such as water, minerals and oil and gas. Secondly, monitoring the subsurface in the context of CO2 sequestration, earthquake detection and global seismology are of major interests with regard to safety and the environment hazards. However, the technologies to monitor the subsurface or find resources are scientifically extremely challenging. Seismic inversion can be formulated as a mathematical optimization problem that minimizes the difference between field recorded data and numerically modeled synthetic data. The process of solving this optimization problem then requires to numerically model, thousands of times, wave-propagation in large three-dimensional representations of part of the earth subsurface. The mathematical and computational complexity of this problem, therefore, calls for software design that abstracts these requirements and facilitates algorithm and software development.

 

My thesis addresses some of the challenges that arise from these problems; mainly the computational cost and access to the right software for research and development. In the first part, I will discuss a performance metric that improves the current runtime-only benchmarks in exploration geophysics. This metric, the roofline model, first provides insight at the hardware level of the performance of a given implementation relative to the maximum achievable performance. Second, this study demonstrates that the choice of numerical discretization has a major impact on the achievable performance depending on the hardware at hand and shows that a flexible framework with respect to the discretization parameters is necessary. In the second part, I will introduce and describe Devito, a symbolic finite-difference DSL that provides a high-level interface to the definition of partial differential equations (PDE) such as the wave equation. Devito, from the symbolic definition of PDEs, then generates and compiles highly optimized C code on-the-fly to compute the solution of the PDE. The combination of the high-level abstractions and the just-in-time compiler enable research for geophysical exploration and PDE-constrainted optimization based on the paradigm of separation of concerns. This allows researchers to concentrate on their respective field of study while having access to computationally performant solvers with a flexible and easy to use interface to successfully implement complex representations of the physics. The second part of my thesis will be split into two sub-parts; first describing the symbolic application programming interface (API), before describing and benchmarking the just-in-time compiler. I will end my thesis with concluding remarks, the latest developments and a brief description of projects that were enabled by Devito.


 

Additional Information

In Campus Calendar
No
Groups

Graduate Studies

Invited Audience
Faculty/Staff, Public, Graduate students, Undergraduate students
Categories
Other/Miscellaneous
Keywords
Phd Defense
Status
  • Created By: Tatianna Richardson
  • Workflow Status: Published
  • Created On: Feb 19, 2020 - 4:01pm
  • Last Updated: Feb 19, 2020 - 4:01pm