Microsoft Research

How do I know you are who you say you are? Why should I trust you? Where do we get our identities, our sense of who we are? What happens when our identities become digital?

I am constructing a deep understanding of people┬╣s emotional relationships with products, environments, and experience and using this understanding to inform better design, reflection, and teamwork

Consumers will always demand more performance from their computer systems.

Embedded microcontrollers are becoming increasingly prolific, serving as the primary or auxiliary processor in products and research systems from microwaves to sensor networks.

The power of video over still images is the ability to represent dynamic activities.

We propose a novel graph decomposition that enables a scalable form of internet routing with roughly sqrt(n) memory and logarithmic delay.

My research focuses on the problems of reconstruction and visualization of three-dimensional objects from images or video streams.

Reliability and fault-tolerance are key issues in software design and development.

This talk will focus on the problems of bringing real time visibility to physical objects by using active and passive RFID.

The success of software verification depends on the ability to find a suitable abstraction of a program automatically.  We propose a method for automated abstraction refinement which overcomes some

I will present the design of a programming language (called MLPolyR) whose type system makes significant use of row polymorphism (Rémy, 1991). MLPolyR (Blume et al.

Internet has changed the way we work and live and has contributed positively to the growth of business and industry. Nonetheless, many parts of the Internet architecture were developed 30+ years ago.

I will present our latest results on image and video processing. First, I will introduce the bilateral grid, a new image representation that enables fast edge-aware image processing.

My dissertation research explores knowledge sharing behaviors among two teams of software developers, looking at how knowledge sharing may be effected by a team's choice of software development

Let C_n be the n’th generation in the construction of the middle-half Cantor set. The Cartesian square K_n of C_n consists of 4^n squares of side-length 1/(4^n).

Given a directed tournament, the condition of being triangle-free (having no directed cycles of length at most three) forces the digraph to be acyclic.

We present a tool-supported formal software development framework in which runtime monitoring is a basic design principle, called monitoring-oriented programming (MOP).

Since the inception of electronic environments, researchers have been interested in how to provide better support for the tasks people perform in these environments.

A surge of recent research in machine learning and statistics has developed new techniques for finding patterns of words in document collections using hierarchical probabilistic models.  These

Choosing the most appropriate optimization phase ordering has been a long standing problem in compiler optimizations.

Principal component analysis (PCA) is widely applied for unsupervised dimensionality reduction.

Many systems are characterized by complex (and often strategic) interactions between subsystems. Such systems occur in communication networks, power networks, wireless and sensor networks, etc.

In this talk we present a model which can decompose probability densities into sets of shift invariant components.

The landscape of security vulnerabilities has changes dramatically in the last several years.

Computer systems design is based on many commonly-held beliefs and heuristics, many of which have never been challenged: * Thousands of server farm load

We consider the problem of finding instances of visual object categories (such as a cup or a pen) in cluttered, real-world environments.  We propose a hierarchical approach, whereby we first

Many interesting tasks, such as vehicle tracking, data association, and mapping, involve reasoning about the objects present in a domain.

Operator View Points - discussion of enterprise/campus networks from the people that run them.

Many C and C++ programs use threads interfaces such as pthreads or the win32 threads API, either for program structuring, or to take advantage of multiprocessors.

This talk was presented as a part of the MSR EdgeNet Summit 2006 ( research.microsoft.com/edgenet ) on issues in campus and enterprise networks. More information available on that site.