Abstract | ||
---|---|---|
Although conventional compilers implement a wide range of optimization techniques, they frequently miss opportunities to optimize the use of abstractions, largely because they are not designed to recognize and use the relevant semantic information about such abstractions. In this position paper, we propose a set of annotations to help communicate high-level semantic information about abstractions to the compiler, thereby enabling the large body of traditional compiler optimizations to be applied to the use of those abstractions. Our annotations explicitly describe properties of abstractions that are needed to guarantee the applicability and profitability of a broad variety of such optimizations, including memoization, reordering, data layout transformations, and inlining and specialization. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/IPDPS.2006.1639722 | IPDPS |
Keywords | Field | DocType |
design optimization,information systems,object oriented,computational linguistics,computer languages,memorization,information system,profitability,computer science,data flow analysis,scientific computing,compiler optimization,performance | Information system,Programming language,Abstraction,Computer science,Computational linguistics,Parallel computing,Data-flow analysis,Optimizing compiler,Compiler,Profitability index,Memoization,Distributed computing | Conference |
ISBN | Citations | PageRank |
1-4244-0054-6 | 7 | 0.51 |
References | Authors | |
14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel J. Quinlan | 1 | 652 | 80.13 |
Markus Schordan | 2 | 259 | 23.98 |
Richard Vuduc | 3 | 1343 | 100.74 |
Qing Yi | 4 | 189 | 13.98 |