Performance search engine driven by prior knowledge of optimization

For scientific array-based programs, optimization for a particular target platform is a hard problem. There are many optimization techniques such as (semantics-preserving)...