Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
Who walks away from success? In his decade with Microsoft Research, Sumit Gulwani enjoyed a self-described “blissful” tenure, co-authoring more than 100 papers and giving dozens of keynotes and lectures—so why, then, would he…
