COFFEE supports dense linear algebra libraries

COFFEE can now transform left-hand side kernels into sequences of calls to linear algebra libraries' DGEMM. So far, MKL, ATLAS and EIGEN are supported, and the code can be easily extended to other libraries.

This depends on a Pull Request 46 in mapdes/ffc
Yes, because distribution may expose further licm opportunities.