Saw this mentioned on Lambda, and thought it was worth pointing out (though I'm betting most of you are Lambda readers). Looks like it's a new approach to mapping out optimizations and picking the best ordering/grouping.
Just watched the video and am settling down to read the paper, and it looks interesting so far. Anyone more well-versed in compiler optimization theory see this and want to comment?