214 search results - page 5 / 43 » Automatic Correction of Loop Transformations |
IPL
2008
15 years 12 days ago
2008
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
176
Voted
ENTCS
2002
15 years 6 days ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
119
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
99
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...
102
click to vote
JLP
2007
15 years 9 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...