I stumbled upon Maxime Chevalier-Boisvert's work ages ago and the BBV just seemed to make so much sense.<p>Nice to see it being adopted more broadly.
> <i>how to ensure the convergence of the algorithm when the specializations of the basic blocks are not based on profiled variable values</i><p>sounds like a good use for PGO? (profile guided optimisation)