home · mobile · calendar · defenses · 1998-1999 · 

Thesis Defense - Derby

A Study of Language Ideas for Prototyping Numerical Computations
Thomas Derby
Computer Science PhD Candidate

This dissertation describes research on the design and implementation of a new programming language, EQ, for prototyping scientific numerical computations. Its major contribution is an approach for dealing with change and update constructs in a natural way within a side-effect free language. Our solution to the problem is based on the concepts of time shifting and a model for hierarchical time.

The presentation will discuss the EQ language and its implementation, including the rank reduction optimization for eliminating unnecessary storage. Performance data from the EQ compiler will be given for a small collection of example programs, as well as an analysis of the effectiveness of the rank reduction optimization.

Committee: Benjamin Zorn, Associate Professor (Chair)
James Curry, Department of Applied Mathematics
Clayton Lewis, Professor
Robert (Bobby) Schnabel, Professor
William Waite, Professor
Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
May 5, 2012 (14:20)