There is on-going research on more modular frameworks that allow for faster implementation of optimizations. One of them is [1]. I worked on that project and im

There is on-going research on more modular frameworks that allow for faster implementation of optimizations. One of them is [1]. I worked on that project and implemented (and proved correct) several optimizations within just weeks. This is not industry-ready stuff, though. [1] http://www.mpi-sws.org/~neis/pils/ http://www.mpi-sws.org/~neis/pils/