Programming languages and software engineering
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…
Video
Stretch: How to Future-Proof Yourself for Tomorrow’s Workplace
If you are like other professionals, your biggest worry is becoming obsolete at work. Shifting technologies, fierce competition among corporations, and recruitment occurring on a global level would give anyone concern. To remain relevant in…
Publication
SWIM: Synthesizing What I Mean
Publication
Noise Reduction in Complex Biological Switches
Video
BioModelAnalyzer
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
