Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Transition-based models use a transition system, or abstract state machine, to model structured prediction problems, for example syntactic dependency parsing, as a sequence of actions. We propose a technique for learning representations of these states.…
This talk describes SpatialHadoop; an open-source full-fledged system for indexing, querying, and visualizing big spatial data. SpatialHadoop is built as a comprehensive extension to Hadoop that injects spatial data awareness inside each Hadoop layer, namely,…
By Judith Bishop, Director of Computer Science, Microsoft Research In the world of information technology, the word “open” can mean many different things. For me, it refers to how software is both written and used,…
By George Thomas Jr., Writer, Microsoft Software verification — the crucial process of assuring programs perform as expected — may not be top of mind for most of us. But considering its role in the…
