Accession Number : ADA623717


Title :   Lean and Efficient Software: Whole-Program Optimization of Executables


Descriptive Note : Summary rept. no. 5, 1 Jul-30 Sep 2015


Corporate Author : GRAMMATECH INC ITHACA NY


Personal Author(s) : Johnson, Thomas


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a623717.pdf


Report Date : 30 Sep 2015


Pagination or Media Count : 8


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.


Descriptors :   *SOFTWARE ENGINEERING , COMPUTER PROGRAMS , OPTIMIZATION


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE