Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Research shows that diverse teams are more productive teams. Diversity, particularly in the area of computing research, means including unique perspectives that otherwise might not have a voice, fueling innovation. These are some of the…
In a world where programming is largely based on using APIs, semantic code search emerges as a way to effectively learn how such APIs should be used. Towards this end, we present a formal framework…
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…
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…
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…
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…
