Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Execution-Guided Neural Program Decoding
Guarded impredicative polymorphism
Microsoft Research Dissertation Grants: Broadening the PhD pipeline to increase innovation
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…
Symbolic Automata for Static Specification Mining
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 @ 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…
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…
