INTELLIGENT ADA COMPILER

MISSION-CRITICAL SOFTWARE DEPENDS ON PROGRAM EXECUTION SPEED AND COMPACT CODE SIZE. COMPILERS FOR THE HIGH-LEVEL LANGUAGE USED TO PROGRAM THESE APPLICATIONS MUST PRODUCE EXCELLENT TRANSLATIONS TO ACHIEVE THE NECESSARY EXECUTION PERFORMANCE AND TO CONSERVE STORAGE RESOURCES. THE ADA LANGUAGE WAS DEVELOPED BY THE DEPARTMENT OF DEFENSE SPECIFICALLY TO ADDRESS THE SOFTWARE ENGINEERING PROBLEMS OF MISSION-CRITICAL SYSTEMS. THE PROPOSED RESEARCH WILL DETERMIE HOW TO SUBSTANTIALLY IMPROVE THE CODE FOR MISSION-CRITICAL SOFTWARE GENERATED BY SOPHISTICATED ADA COMPILERS. OPTIMIZATIONS ARE COMPILER TECHNIQUES THAT PRODUCE FASTER, MORE COMPACT CODE. THIS RESEARCH WILL EVALUATE OPTIMIZATIONS NOT IMPLEMENTED IN TODAY'S BEST ADA COMPILERS, IDENTIFY THE MOST PROMISING NEW OPTIMIZATIONS, AND PERFORM INITIAL INVESTIGATION OF ALGORITHMS TO IMPLEMENT THEM IN A SOPHISTICATED COMPILER ARCHITECTURE. THE RESEARCH STARTS WITH A MIX OF SYNTHETIC AND REAL-TIME APPLICATION BENCHMARKS AND ANALYZES THE CODE PRODUCED FOR THEM FOR SEVERAL TARGET MACHINES. AREAS OF OPTIMIZATION OPPORTUNITY WILL BE EVALUATED USING THESE BENCHMARKS. THE AREAS INCLUDE LOOP TRANSFORMATIONS, TYPE MAPPING, OPTIMIZATION ACROSS COMPILATION UNITS AND OPTIMIZED TRANSLATION OF ADA-SPECIFIC FEATURES. CARE WILL BE TAKEN SO THAT OPTIMIZATIONS ARE NOT SPECIFIC TO PARTICULAR TARGET MACHINES.