|
Award Abstract #9501624
CAREER: Type-Directed Compilation
| NSF Org: |
CCF
Division of Computer and Communication Foundations
|
|
|
| Initial Amendment Date: |
March 13, 1995 |
|
| Latest Amendment Date: |
April 7, 1997 |
|
| Award Number: |
9501624 |
|
| Award Instrument: |
Continuing grant |
|
| Program Manager: |
Frank D. Anger
CCF Division of Computer and Communication Foundations
CSE Directorate for Computer & Information Science & Engineering
|
|
| Start Date: |
June 1, 1995 |
|
| Expires: |
May 31, 1998 (Estimated) |
|
| Awarded Amount to Date: |
$105000 |
|
| Investigator(s): |
Zhong Shao shao@cs.yale.edu (Principal Investigator)
|
|
| Sponsor: |
Yale University
P.O. Box 208337
NEW HAVEN, CT 06520 203/432-2460
|
|
| NSF Program(s): |
SOFTWARE ENGINEERING AND LANGU
|
|
| Field Application(s): |
0000099 Other Applications NEC,
31 Computer Science & Engineering
|
|
| Program Reference Code(s): |
HPCC, 9216, 1045
|
|
| Program Element Code(s): |
2880
|
ABSTRACT
Compile-time type information is believed to be very valuable in efficient compilation of functional languages such as Standard ML. But little is known on how to support type-directed compilation in real compilers and how much performance gain one can get from various type-based optimizations. The goal of this research is to design and identify important type-directed compilation techniques that can significantly improve the performance of ML programs. These new compilation techniques are expected to lead to the following nice results: (1) data objects (including recursive data structures) in ML programs will be able to use unboxed data representations that are as efficient as those in C programs; (2) polymorphic functions and parametrized modules will be implemented efficiently through cross-module type specialization and inlining expansion; (3) type information propagated into the compiler back end will be used to assist program analysis such as closure analysis and instruction scheduling. The educational component of this CAREER award seeks two objectives: the construction of a new compiler lab kit (based on the above type-based ML compiler) and the incorporation of state-of-the-art compiler technology into the undergraduate and graduate curriculum.
Please report errors in award information by writing to: awardsearch@nsf.gov.
|
