[CPU bug affecting OCaml] Skylake bug: a detective story

Xavier Leroy wrote another great post with additional information http://gallium.inria.fr/blog/intel-skylake-bug/. It’s nice to know the details of his analysis, and I must point out that the conclusions Xavier had reached with the help of SIOU in his previous work were incredibly useful for us during the work described in our blogpost.

It’s a bit sad that this story came out fragmented but this was really a community wide effort.