Programming languages and software engineering
Event
Microsoft @ SIGMOD 2018
Microsoft is proud to be a Platinum sponsor of the 2018 ACM SIGMOD/PODS Conference June 10-15 in Houston, Texas. The annual ACM SIGMOD/PODS Conference is a leading international forum for database researchers, practitioners, developers, and…
Podcast
The democratization of data science with Dr. Chris White
Episode 27, June 6, 2018 – Dr. White talks about his “problem-first” approach to research, explains the vital importance of making data understandable for everyone, and shares the story of how a one-week detour from…
Publication
Active learning of points-to specifications
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…
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…
Publication