Nucleus, our approach to compiler-agnostic function detection in binaries  (EuroS&P’17) made it into Binary Ninja.

For completeness, here is Dennis showing of his best paper award: