Microsoft Research

Spiral ( spiral.net) is a program generation system for linear transforms such as the discrete Fourier transform, discrete cosine transforms, filters, and others.

Energy and power are increasingly becoming critical challenges in the design of future computing systems.

Although most scientific and engineering disciplines view empiricism as a basic aspect of their discipline, that view has not been the tradition in software engineering.

Occasionally the office of the CTO, David Vaskevitch, sits down with some of MicrosoftΓÇÖs most influential technical employees to capture their stories.

Can the next generation of technologies advance the spiritual development of individuals and communities?

Software tends to misbehave more often than we would like due to bugs and security attacks.

A fascinating exploration of the relationship between music and the mindΓÇöand the role of melodies in shaping our lives Whether you load your iPod with Bach or Bono, music has a significant role in

Why has one game, alone among the thousands of games invented and played throughout human history, not only survived but thrived within every culture it has touched?  What is it about its

Waitomo is an experimental programming language derived from Java.

Dr.

We will present ongoing research on a programming framework in which undesirable data races raise runtime exceptions the same way out-of-bounds array accesses or null-pointer dereferences do in Java.

Textual Entailment has been proposed recently as a generic framework for modeling semantic variability in many Natural Language Processing applications, such as Question Answering, Information

Sound capturing in an automotive environment without using a close-talk microphone is a challenging problem.

The goal of speaker diarization is to determine where each participant speaks in a recording.

We propose a methodology for evaluating second language acquisition in the context of massive multi-player online role-playing games (MMORPGs).

Wireless communication today supports heterogeneous wireless devices with a number of different wireless network interfaces (WNICs).

Occasionally the office of the CTO, David Vaskevitch, sits down with some of Microsoft's most influential technical employees to capture their stories.

Systematic testing of software plays an important role in the quest for improved software quality. Testing, however, turns out to be an error-prone, expensive, and time-consuming process.

This study explores interruption patterns among software developers who program in pairs versus those who program solo.

Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally modeled.  It is

Generalized algebraic data types (GADTs) extend algebraic data types by a form of type refinement connected to pattern matchings.

Bag-of-features have recently shown very good performance for image category classification. However, their representation is orderless and based on appearance features only.

We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages.

Task dependencies are at the heart of coordination in collaborative work. If tasks share no dependencies, then communication and coordination are not required.

Misconfiguration of persistent state such as registries or files is a major cause of software faults.

In many signal processing tasks, it is of interest to estimate some desired signal in the presence of noise as well as other sources of interference.

Separation logic is a promising new approach to modular reasoning, but so far it has primarily been applied to low-level C-like languages.

Capturing the sound from the audience during broadcasting and/or recording lectures presents challenges due to increased distance between the microphone(s) and the speaker which worsens the

The problem of image labeling, in which each pixel is assigned to one of a finite set of labels, is a difficult problem, as it entails deciding which components of an image belong to the same object

We initiate the study of compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problems.