Excellent talk, this could be seminal in the years to come.
It is really aptly that the Turing Award for this year is awarded to the pioneers of modern compiler design [1].
It will be interesting to see how modern compiler techniques namely Single Static Assignment (SSA) and Polyhedral/Polytope can enable heteregenous high level synthesis (HLS) and multi-level compilations for both hardware design and programming [2].