RELIABLESOFTWARE

People

Papers

Software

Applications

Contact
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. Optimizing 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.


Modified on 1-01-2009.