Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Tool
Z3 automated theorem prover
Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license (opens in new tab). Z3 can be built using Visual Studio, a Makefile or using CMake. It provides bindings for…
Microsoft Research Blog
Optimizing Barnes-Hut t-SNE
Ten years ago, while writing a physics engine, I learned about the Barnes-Hut algorithm for the gravitational n-body problem. Normally, computing the Newtonian gravitational forces between n bodies requires evaluations of Newton’s law of universal…
Publication
Towards just-in-time refactoring recommenders
Event
Microsoft Research @ ICSE 2018
Microsoft is proud to be a silver sponsor of the International Conference on Software Engineering (ICSE) May 27 – June 3 at the Congress center Gothia Towers in Gothenburg, Sweden. We have several researchers attending…
Microsoft Research Blog
Bringing low-resource languages and spoken dialects into play with Semi-Supervised Universal Neural Machine Translation
Machine translation has become a crucial component in the advancing of global communication. Millions of people are using online translation systems and mobile applications to communicate across language barriers. Machine translation has made rapid advances…
