Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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…
