Microsoft Research

Hidden common causes are often the explanation behind the observed association of our recorded variables.

This class presents best practices for designing frameworks that are reusable object-oriented libraries.

Standing at the crossroads of the ActiveCampus Project and the Campus of the Future Project, it is appropriate to pause and consider what we've learned, and what that foretells.

The database service is the performance bottleneck in many Web applications.

In my thesis, I developed techniques for combining automated reasoning tools e.g., theorem provers, decision procedures) with abstract interpretation and applied these techniques to programs that

One of the most ambitious goals in the field of verification is to automatically produce designs from their specifications, a process called {\em synthesis}.

The advent of multicore processors has raised new demand for expressing and exploiting concurrency in the software mass market.  This talk summarizes previous work on the data parallel, functional

Uncertainty is a fundamental problem underlying several modern database applications: exploratory queries in databases, data integration, querying information extracted from the Web, queries over

As software and systems become increasingly complex, the task of debugging also becomes increasingly difficult. Manual diagnosis can require sifting through millions of lines of code and output logs.

Could ΓÇ£normal accidents,ΓÇ¥ the notion of multiple and expected failures, be a built-in part of our societyΓÇÖs complex systems?

With a large percentage of total system cost going to system administration tasks, self-management remains a difficult and important goal in systems.

With more than 60 million units sold and counting, the iPod is not merely one of the most successful products ever created, but a cultural, economic, and technological phenomenon that has rebooted

Please join us for a review of projects in-progress from Itai Himelboim and Alan Schussman, interns this Winter in the Community Technologies Group.

The Web is a vast resource of information on practically anything one can think of. Unfortunately, the information is mostly in unstructured text, making it difficult for machines to process.

Techniques for generation, storage, and analysis of execution traces are critical to addressing many complex problems.  For example,  execution traces can be analyzed to drive automated techniques

Programming language tools offer powerful mechanisms for improving the safety and reliability of systems code.

Recent years have witnessed an enormous growth of data in business, industry, and Web applications.

Microsoft Research – 7 сентября 2016, 16:57

This talk will survey some of our recent work on the axiomatic approach to ranking systems. Ranking systems are systems in which agents rank each other to produce a social ranking.

Mobile delay-tolerant sensor networks are becoming increasingly important because of their ability to deliver long periods of fine-grained sensing over a wide area with a small number of nodes.

The processor industry is at an inflection point. In the past, performance was the driving force behind the processor industry.

This talk describes EnviroSuite: a sensor-network programming framework that introduces a new paradigm, called environmentally-immersive programming (EIP), to significantly simplify the development

When we look at the world, we see objects, or more precisely, we perceive the ΓÇÿinstant imagingΓÇÖ of these objects which are actively interacting with the dynamic lighting environment.

Analysis and detection of objects in images or actions in video sequences require a complex notion of similarity across visual data.

There are many indicators that people feel technology is speeding up and complicating their lives.

Microsoft Research – 7 сентября 2016, 16:54

Consider a repeated two-person game. The question is how much smarter a player must be in order to effectively predict the moves of the other player.

Multitasking is an important part of the way we work, but serious problems result from fragmenting our work with constant interruptions and task switches.

Auctions often involve multiple objectives in conflict. We focus on cost-sharing mechanisms for network design problems. Such auctions incur a cost dependent on the subset of players serviced.

My research philosophy is to approach security not as a problem to be solved, but as a battle for defenders (such as antivirus professionals, law enforcement, and next-generation security technology