Program Improvement by Automatic Redistribution of Intermediate Results
This paper was originally a Ph.D. thesis proposal.
| Main Author: | |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/41210 |
| _version_ | 1826196460866109440 |
|---|---|
| author | Hall, Robert J. |
| author_facet | Hall, Robert J. |
| author_sort | Hall, Robert J. |
| collection | MIT |
| description | This paper was originally a Ph.D. thesis proposal. |
| first_indexed | 2024-09-23T10:26:54Z |
| format | Working Paper |
| id | mit-1721.1/41210 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T10:26:54Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/412102019-04-11T02:59:00Z Program Improvement by Automatic Redistribution of Intermediate Results Hall, Robert J. This paper was originally a Ph.D. thesis proposal. The problem of automatically improving the performance of computer programs has many facets. A common source of program inefficiency is the use of abstraction techniques in program design: general tools used in a specific context often do unnecessary or redundant work. Examples include needless copy operations, redundant subexpressions, multiple traversals of the same datastructure and maintenance of overly complex data invariants. I propose to focus on one broadly applicable way of improving a program's performance: redistributing intermediate results so that computation can be avoided. I hope to demonstrate that this is a basic principle of optimization from which many of the current approaches to optimization may be derived. I propose to implement a system that automatically finds and exploits opportunities for redistribution in a given program. In addition to the program source, the system will accept an explanation of correctness and purpose of the code. Beyond the specific task of program improvement, I anticipate that the research will contribute to our understanding of the design and explanatory structure of programs. Major results will include (1) definition and manipulation of representation of correctness and purpose of a program's implementation, and (2) definition, construction, and use of a representation of a program's dynamic behavior. MIT Artificial Intelligence Laboratory 2008-04-22T11:17:28Z 2008-04-22T11:17:28Z 1988-05 Working Paper http://hdl.handle.net/1721.1/41210 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-305 application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Hall, Robert J. Program Improvement by Automatic Redistribution of Intermediate Results |
| title | Program Improvement by Automatic Redistribution of Intermediate Results |
| title_full | Program Improvement by Automatic Redistribution of Intermediate Results |
| title_fullStr | Program Improvement by Automatic Redistribution of Intermediate Results |
| title_full_unstemmed | Program Improvement by Automatic Redistribution of Intermediate Results |
| title_short | Program Improvement by Automatic Redistribution of Intermediate Results |
| title_sort | program improvement by automatic redistribution of intermediate results |
| url | http://hdl.handle.net/1721.1/41210 |
| work_keys_str_mv | AT hallrobertj programimprovementbyautomaticredistributionofintermediateresults |