AFAIK this is really old work. LLVM has pretty much dominated this space for the past decade.

http://suif.stanford.edu/suif/suif1/suif-overview/suif.html

As a reference, some of the grad students originally on this project are senior full professors now :) And the last author is now the President of Stanford University.