Programming languages and software engineering
Publication
On fusing recursive traversals of K-d trees
Microsoft Research Blog
IEEE Computer Society honors Wolfram Schulte for research leadership, contributions to program verification
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…
Microsoft Research Blog
Best of both worlds: one researcher’s dual approach
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…
Video
Building Systems that Query on Compressed Data
Web services today want to support sophisticated queries, with stringent interactivity (latency and/or throughput) constraints. Many recent studies have argued that in-memory query execution is one of the keys to achieving query interactivity. However, as…
Video
Enabling Integrated Search and Exploration Over Large Multidimensional Data
The need for rich, ad-hoc data analysis is key for pervasive discovery. However, generic and reusable systems tools for interactive search, exploration and mining over large data sets are lacking. Exploring large data sets interactively…
Video
Optimizing Optimistic Concurrency Control
Transaction processing is a fundamental aspect of database design, and concurrency control has remained a key challenge in high performance transaction management. Optimistic concurrency control (OCC) has regained popularity in a number of recent data…
Video
Random Access in Multiparty Computation
How can two strangers figure out how many phone contacts they have in common without revealing anything else about each other? Can this be done even in the absence of trusted third parties? How about…
