Senior Research Associate
Ph.D. MIT, 1979
My research focuses on making mathematical descriptions easier to
manage and easier to use. Recently we have developed tools that allow
scientists and engineers to describe desired computations in terms of
differential equations and geometries, and then, using a toolkit of
program transformation, convert these specifications into executable
code. The transformations in the toolkit correspond to familar
mathematical techniques like Runge-Kutta methods. This alternative to
expressing these techniques as subroutine libraries has made the
techniques more widely useful, but has introduced a number of
challenging and difficult programming language problems.
Another component of this toolkit is a computer algebra substrate,
called Weyl, that extends the data structures available in Common Lisp
to include objects like polynomials, matrices, rational functions,
rings, vector spaces, and ideals. The introduction of these new
objects into a programming language provides additional challenges to
the language's type system and provides new opportunities for
deductive reasoning, which we are pursuing in concert with Bob
Constable's Nuprl project.
- Editorial Board: Journal of Symbolic Computation; ACM Transactions
on Mathematical Software
- Referee/Reviewer: NSF; International Symposium on Symbolic and
- On satisfiability. Israeli Symposium on Theory of Computing and
Systems, Jerusalem, Israel, June 11, 1996.
- Thoughts for computer systems research. IBM Science and
Technology Center, Haifa, Israel, January 8, 1996.
- Simulation support for collaborative design. ARPA SISTO
Symposium, Washington, DC, August 30, 1995.
- Program transformations for scientific computing. Microsoft
Research Center, Redmond, WA, August 11, 1995.
- ____. Xerox Webster Research Lab, Webster, NY, August 2, 1995.
- ____. ARPA PI Meeting, Stanford University, Palo Alto, CA, July
- On satisfiability. Proceedings of the Fourth Israel Symposium on
Theory of Computing and Systems, IEEE Press, 162-169, 1996.
- Global register allocation for SIMD multiprocessors. Journal of
Computer Science and Technology. Allerton Press, January 1996.
1995-1996 Annual Report Home Page
Departmental Home Page
If you have questions or comments please contact:
Last modified: 2 November 1996 by Denise Moore