Accession Number:

ADA614377

Title:

Lean and Efficient Software: Whole-Program Optimization of Executables

Descriptive Note:

Project summary rept. no. 1, 30 Jun-30 Sep 2014

Corporate Author:

GRAMMATECH INC ITHACA NY

Personal Author(s):

Report Date:

2014-10-10

Pagination or Media Count:

8.0

Abstract:

Our objective in this project is to substantially improve the performance, size, and robustness of binary executables by using static and dynamic binary program analysis techniques to perform whole-program optimization directly on compiled programs specializing library subroutines, removing redundant argument checking and interface layers, eliminating dead code, and improving computational efficiency. In particular, we will apply specialization and partial evaluation technology, integrating the new technology with the techniques developed during the previous contract effort. We expect the optimizations to be applied at or immediately prior to deployment of software, giving our tool an opportunity to tailor the optimized software to its target platform. Today, machine-code analysis and binary-rewriting techniques have reached a sufficient maturity level to make whole-program, machine-code optimization feasible. Thus, we believe there is now a great opportunity to design tools that will revolutionize the software development industry.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE