Microsoft Research

Understanding the most efficient design and utilization of emerging multicore systems is one of the most challenging questions faced by the mainstream and scientific computing industries in several

Please join the MSPAC for a discussion and book signing with John Kerry and Teresa Heinz Kerry, Tuesday, April 3rd from 10:30am-11:30am in the Elliot and Shilshole rooms of building #36.

Programmers are increasingly choosing managed languages for modern applications, which rely on garbage collection to manage dynamically allocated objects.

In looking at the latest discoveries from the geological record, could it be that Earth is its own worst enemy?

How do we maintain programmer productivity in an era with an exploding number of networked processing cores and increasing diversity among them?

In this tutorial, I will explain the fundamentals of how current search engines work.

The price of anarchy, the most popular measure of the inefficiency of selfish behavior, assumes that players successfully reach some Nash equilibrium.

We study the point-to-point shortest path problem in a setting where preprocessing is allowed. We consider two approaches to the problem. The classical A* search directs the search towards the goal.

Jerry Friedman's MART algorithm has had considerable influence in search applications and other classification tasks.

Traditional web link-based ranking schemes use a single score to measure a page`s authority without concern for the community from which that authority is derived.

The earlier in the software development lifecycle that a fault is detected, the cheaper it is to fix.

Parallelism abounds! To continue to improve performance, programmers must use parallel algorithms to take advantage of multi-core and other parallel architectures.

It is often mistakenly thought that Availability is, as a security property, orthogonal to Confidentiality.

This talk is about the spaces between things, and how investigating such spaces can open up new areas for research and technological innovation.

Chemotaxis behavior in microbes constitutes a simple form of behavior, making it an interesting model system to understand molecular basis of decision-making.

Many real-world systems in communications (e.g. cellular networks) and storage (e.g. magnetic recording devices) can be modeled as two dimensional grids.

As more and more critical biological data become available and as the biological questions being addressed become more and more complex and sophisticated, the complexity to analyze the systems of

Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and have been studied

Despite its wide adoption, home networking presents severe hurdles for many users; in fact, home networking equipment is currently the most returned item at `big box` consumer electronics stores.

At CBS, we have during the recent years developed a number of web tools to be used in immunological research.

Constructed between 1987 and 1989 and costing more than $200 million, Biosphere 2 was an experiment to test if and how people could create, live, and work inside a closed biosphere while carrying

Precise software analysis and verification require tracking the exact path along which a statement is executed (path-sensitivity), the different contexts from which a function is called

In recent years, viruses and worms have started to pose threats at Internet scale in an intelligent, organized manner, enrolling millions of unsuspecting and unprepared PC owners in spamming

The web is turning the publishing world upside down, and scientific publishing is no exception.

We have recently proposed Recognizing Textual Entailment (RTE) as a generic task that captures major semantic inferences across different natural language processing applications.

In the quest for tractable reasoning methods about concurrent algorithms both rely/guarantee logic and separation logic have made great advances, but neither is the ultimate approach.

While semiconductor scaling has steadily improved processor performance, scaling trends in memory technology have favored improving density over access latency.

Concurrent programs are notoriously difficult to write and debug, a problem that is becoming acute as concurrency becomes more common.

While multiprocessor hardware is finally becoming ubiquitous, enticing most programmers to write parallel programs is going to be very challenging.

Without a strong model, 3--D shape recovery of non-rigid surfaces from monocular video sequences is a severely under-constrained problem. Prior models are required to resolve the inherent ambiguities.