This project is to learn about and investigate new ways of making programs as efficient as possible using automated and semi-automated techniques. The techniques we consider include traditional compiler optimization, customizable semi-automatic memory management schemes, code specialization, and metaprogramming. The idea is to let users express their programs using high-level languages which provide advanced programming abstractions, while still ensuring that efficient code is generated for running these computations.

REQUIREMENTS: Students applying to this project should have extensive programming experience and at least some experience in either functional programming or compiler design. For instance, a good way of obtaining this experience is to take the Principles of Programming Languages and/or Modern Compiler Design courses.