4 ms·

I believe VMWare "adopted" Microsoft's research team, but that's the last I heard of the team. These days the most interesting corporate research happens at Goo

I believe VMWare "adopted" Microsoft's research team, but that's the last I heard of the team. These days the most interesting corporate research happens at Google, Nvidia, OpenAI. I guess the forefront of research has moved onto ML and many old school researchers got left behind.

InefficientRed 4y ago
There is tons of formal methods research happening in industry. Way more than in the days of Microsoft research silicon valley
- shadowfox 4y ago
  Out of curiosity, which companies do this sort of research?
  - mirker 4y ago
    AWS had a paper in SOSP on verifying parts of S3 https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc2135e4/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3.pdf https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...
metadat 4y ago
There's lots of other research happening all over, but gets little attention probably due to non-existent or otherwise poor marketing beyond publishing papers.
deleted 4y ago
[deleted]
rhplus 4y ago
TLA+ and other formal language research is pursued by the RISE group in Microsoft Research: https://www.microsoft.com/en-us/research/group/research-software-engineering-rise/ https://www.microsoft.com/en-us/research/group/research-soft...