Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
We live in the age of the intelligent edge and intelligent cloud. Data is collected at the edge using billions of small devices. The data is pre-processed at the edge and shipped in a filtered…
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…
