[Colloquium] Chiw/Dissertation Defense/Apr 5, 2017

[Margaret Jaffey via Colloquium]

       Department of Computer Science/The University of Chicago

                     *** Dissertation Defense ***


Candidate:  Charisee Chiw

Date:  Wednesday, April 5, 2017

Time:  11:00 AM

Place:  Ryerson 276

Title: DEVELOPING DIDEROT

Abstract:
This dissertation describes the development of Diderot. Diderot is a
domain-specific language for scientific visualization and image
analysis. Algorithms in this domain are used to visually explore data
and compute features and properties. Diderot is designed to enable the
transition of ideas into code by providing a high-level language that
mimics a mathematically friendly notation so that users can express
mathematical concept into working code. The execution obstacle for the
Diderot compiler is how to bridge the wide semantic gap between
higher-order operations on tensor fields and their implementation as
efficient executable code. It is important and challenging to work on
develop the Diderot language so that the user can write intuitive
code, compile programs with complicated tensor math, and believe in
the correctness of the compiler. This dissertation is focused on the
design and implementation of these ideas in the compiler, addressing
the technical challenges that arise, formalizing the properties in our
rewrite system, confidently testing our implementation, and extending
the language to another domain.

Charisee's advisors are Prof. John Reppy and Prof. Gordon Kindlmann

Login to the Computer Science Department website for details,
including a draft copy of the dissertation:

 https://www.cs.uchicago.edu/phd/phd_announcements#cchiw

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Margaret P. Jaffey            margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 156)               (773) 702-6011
The University of Chicago      http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=