True, there are many research projects of Microsoft which ended up in production. Take the Linux Subsystem for Windows (Bash) for instance, or a little closer to home: Code contracts.
The Linux Subsystem for Windows isn't a great example. Folks in MSR Cambridge had Linux running on Windows circa Y2K. The Linux Subsystem today comes from a second effort using Drawbridge.