Lunar is an optimizing compiler framework.

Publications

Automating Proofs of Guaranteed Optimization [PDF]

Active Libraries and Universal Languages (PhD Dissertation) [PDF]

Guaranteed optimization for domain-specific programming (Dagstuhl No 03131) [HTML] [PS] [PDF]

Guaranteed Optimization: Proving Nullspace Properties of Compilers (SAS 2002) [PS] [PDF] [html version has no equations]

Five compilation models for C++ templates (TMPW'00) [HTML] [PS]

Expression templates in Java (GCSE'00) [HTML] [PS]

See also Todd's research page.