Aladdin and automated programming

[gusl]

CMU's Aladdin Project ("ALgorithm ADaptation, Dissemination and INtegration"):

High level goal: improve the process of incorporating powerful algs into app domains.
...
database of "war stories", open problems.

This idea of automating the analysis, i.e. making AI to improve programmerss reasoning, reminds me of my automatic programming ideas, namely: automated efficiency (rather simple cognitive AI: just implementing optimization techniques from programmers), representation search (The "creativity" lies in finding the representation with which the proof-finding becomes computationally easy.).