Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Kizzle: A Signature Compiler for Exploit Kits
Publication
Automatically reasoning about metamodeling
Publication
Syntax-Guided Synthesis
Video
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.
Video
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