Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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…
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…
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…
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…
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…
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…
