Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Towards AST-based Collaborative Editing
Publication
Syntax-Guided Synthesis
Publication
Automatically reasoning about metamodeling
Vidéo
Horvitz: Competition in AI helps fuel innovation
In this excerpt from a Microsoft Research Luminaries interview, Eric Horvitz, Distinguished Scientist and Managing Director, Microsoft Research Redmond, is excited that competitive forces will accelerate advances in Artificial Intelligence.
Vidéo
Horvitz: It’s important to pursue Artificial Intelligence
In this excerpt from a Microsoft Research Luminaries interview, Eric Horvitz, Distinguished Scientist and Managing Director, Microsoft Research Redmond, explains why it’s important to pursue Artificial Intelligence.
Publication