Programming languages and software engineering
Publication
Semi-Supervised Verified Feedback Generation
Video
Can DRAM Do More Than Just Store Data?
In my Ph.D. thesis, I propose mechanisms to address the inefficiency caused by existing memory abstractions, which manage and access memory at different granularities at different resources. In this talk, I will focus my attention…
Video
Transition-based Natural Language Processing
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.…
Video
SpatialHadoop: A MapReduce Framework for Big Spatial Data
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,…
Microsoft Research Blog
Opening the world of advanced software technology
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,…