That was my guess anyhow. A common affliction among newly minted PhDs. They usually out grow it.

I am reminded of https://news.ycombinator.com/user?id=almostgotcaught

Won't be surprised if it's the same person.

FAANG are now in the midst of a hype cycle. So that place of employment signal is pretty noisy now, especially if employed in the hyped field.

Coming back to the point, Polyhedral models for loop analysis and Diophantine equation based address aliasing analysis are quite different techniques.