I was wondering, is it possible to use Artificial Intelligence to make compilers better?

Things I could imagine if it was possible -

* More specific error messages
* Improving compiler optimizations, so the compiler Cloud Services actually understand what you're trying to do, and do it better

If it is possible, are there any research projects on this subject?