Colloquium Details
Compiling with Types and Flows
Author: | Allyn Dimock Harvard University |
---|---|
Date: | April 25, 2002 |
Time: | 15:30 |
Location: | 220 Deschutes |
Abstract
Typed intermediate languages for compilers provide many advantages over untyped compiler-intermediate languages. I present a language that tracks the points in the program where data are defined or used, as part of the intermediate language's type system. I show how a simple transformation allows the compiler writer, using this intermediate language, to use multiple representations for data in the same program --- even when incompatible representations apparently flow to the same program point. I show the usefulness of the transformation by showing benchmark results obtained by mixing different representations of functions in a compiler for Standard ML.
Biography
Allyn Dimock is a Ph.D. candidate in the Department of Computer Science at Harvard University. He received his M.S. in Computer Science from Harvard University.