Until recently, MSR was also very disconnected from product development. There was a distinct change last year. Also, in general most papers are more useful fo

Until recently, MSR was also very disconnected from product development. There was a distinct change last year. Also, in general most papers are more useful for writing further papers to improve on their limitations (until something's great), than to be adopted right away. This one is pretty cool, but both the conclusion and the benchmarks set out significant challenges for further research. After all, this is the first OS using automated verification, not the last. > a lack of software developers inside Microsoft willing to replace their existing code and learn new tools and languages. I'm sure research on the topic hasn't ended, so should they switch now or wait for more research? Or wait for research on verifying existing code? And if a new paper comes out, should they switch again? Also, do universities train enough developers to use such technology?