The ELIAS Project is concerned with the efficient and reliable
implementation of computer software. We are interested in these properties
as they apply both to the production of software as well as to its run-time
performance in the field.
There is a natural tension between efficient production and
efficient run-time execution of software. High-level programming languages
are required for efficient production but the executable code generated by
compilers is usually less efficent than hand-coded software.
compilers attempt to minimize the run-time performance penalty by
performing sophisticated analyses that allow them to select efficient
run-time representations. But the complexity of these analyses jeopardize
the reliability of the generated code.
The ELIAS Project is investigating the application of advanced type systems
to support efficient representation selection. Our current focus is on type
systems for register allocation.