|
The C-- group at Harvard is
focused on the design and implementation of a portable low-level
language to support many languages on many architectures. I am
working with Joao Dias
on expressing our generic code expansion phase as inference rules.
This experiment should produce an expander phase that is more easily
understood and serves as a case study in creating machine checkable
proofs corresponding to rules for optimization. Previously, I
designed and implemented the integer widening transformation that
enables C-- to support narrow arithmetic efficiently.
|
|
The Varia
project is concerned with issues of constructing optimizing compilers.
I'm working with Kelly
Heffner to express optimizations without assumptions about phase
structure, ordering, or combination. We are writing optimizations
using a declarative language and rules engine.
This allows examination of a large space of
interactions between transformations in great detail. As a starting
point we hope to explain some of these interactions.
|
|
I am a member of Triforce: the Programming Languages, Compilers and Security Group at Harvard DEAS.
|
