Editorial: Riding the Tidal Wave of Human-Centric Information Processing.. more »

Static assertion checking of open programs requires setting up a precise harness to capture the environment assumptions. For instance, a library may require a file handle to be properly initialized before it is passed into it. A harness is used to set up or specify the appropriate preconditions before invoking methods from the program. In the .. more »

Rick Rashid, Microsoft chief research officer, talks about how the state of technology opens doors for science and research... more »

Here are the top 10 Microsoft Research Connections blog posts of 2011, as chosen by your clicks... more »

We study the problem of route planning on mobile devices. There are two current approaches to this problem. One option is to have all the routing data on the device, which can then compute routes by itself. This makes it hard to incorporate traffic updates, leading to suboptimal routes. An alternative approach outsources the route computation to a .. more »

This paper presents a smart driving direction system leveraging the intelligence of experienced drivers. In this system, GPS-equipped taxis are employed as mobile sensors probing the traffic rhythm of a city and taxi drivers’ intelligence in choosing driving directions in the physical world. We propose a time-dependent landmark graph to model the dy.. more »

Well-established dependently-typed languages like Coq provide a highly reliable way to build and check formal proofs. Researchers have also developed several other dependently-typed programming languages such as Agda, Aura, ATS, Cayenne, Epigram, F*, F7, Fine, Guru, PCML5, Ur, etc., and more are in the works, e.g., Trellys. All these languages .. more »

Within medical settings there is a growing interest in exploring touchless interaction technologies. The primary motivation here is to avoid contact during interaction so as to maintain asepsis. However, there is another important property of touchless interaction that has significant implications for their use within such settings – namely that in.. more »

Despite countless attempts and near-universal desire to replace them, passwords are more widely used and firmly entrenched than ever. Our exploration of this leads us to argue that no silver bullet will meet all requirements, and not only will passwords be with us for some time, but in many instances they are the solution which best fits the .. more »

Surajit Chaudhuri, managing director of the eXtreme Computing Group, reflects upon an active, successful 2011... more »

Graphs are widely used for modeling complicated data such as social networks, bibliographical networks and knowledge bases. The growing sizes of graph databases motivate the crucial need for developing powerful and scalable graphbased query engines. We propose a SPARQL-like language, G-SPARQL, for querying attributed graphs. The language enables .. more »

Roy Levin, managing director of Microsoft Research Silicon Valley, looks back on an active, successful 2011... more »

Peter Lee, managing director of Microsoft Research Redmond, reflects upon an active, successful 2011... more »

Bill Dunlap, managing director of Microsoft Research’s Advanced Technology Labs Europe, reflects back on an active, successful 2011... more »

Lili Cheng, managing director of FUSE Labs, reflects upon an active, successful 2011... more »

Andrew Blake, managing director of Microsoft Research Cambridge reflects upon a most eventful year at his lab... more »

Adi Diamant, director of Microsoft Research’s Advanced Technology Labs Israel, reflects back on an active, successful 2011... more »

Hussein Salama, director of Advanced Technology Labs Cairo, reflects back on an active, successful 2011... more »

Sketching in Adversarial Environments.. more »

Jennifer Chayes, managing director of Microsoft Research New England, reflects back on an active, successful 2011... more »