Microsoft Research

In this talk, I will argue for an approach for building and deploying systems that enforce measurable security goals.

Context-free languages combine expressiveness with polynomial parsing, making them very appealing for practical applications.

There is a fine line between theft and originality: the trick is the source of the borrowing.

Automated reasoning in classical logic has received much attention in the literature.

I'll give my view of the frontier of computer vision and where I feel computer vision needs advances from computer science and machine learning.

I present Chorus, a high-level parallel programming model targeting irregular, heap-manipulating applications like mesh refinement and triangulation, and Jchorus, an implementation of the model on

In this talk I illustrate a decade of my visualization-centric software engineering research.

In peer-to-peer file sharing systems, file replication and consistency maintenance are widely used techniques for high system performance.

Giving and interpreting directions is almost a daily activity, and as such, is a necessary system component of household robots or autonomous wheelchairs.

When I was six years old, my father Martin Demaine and I designed and made puzzles as the Erik and Dad Puzzle Company, which distributed to toy stores across Canada.

In the digital marketplace, the most effective price is no price at all.

This talk presents feedback-driven adaptive algorithms for efficient scheduling of parallel jobs on multiprogrammed multiprocessors.

Today, federal public policy forces personal privacy through public mandate over a person's capacity and right to choose a unique personal health identifier to better protect both privacy and

We discuss the notion of array-based system as a suitable abstraction of infinite state systems such as parametrised systems or sorting programs.

I'll talk about two projects I worked on this summer at MSR.

This talk presents how quantified loop invariants of programs over arrays can be automatically inferred using a first order theorem prover, reducing the burden of annotating loops with complete

In this talk, I will talk about our recent work on bandwidth allocation problem in two projects: TCP friendliness and P2P streaming. 1.

A piece of software is considered interactive if it consumes input and produces output throughout its execution, in contrast to non-interactive software which takes its input at program

The multiple intents re-ranking problem was introduced recently by Azar, Gamzu and Xin (STOC 2009) in the context of ordering results of a web search query.

A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorization policies and

Interactive narrative and similar AI-intensive applications require characters to perform a wide range of actions and gestures, the details of which may be difficult to anticipate at authoring-time.

Separating simultaneous speech signals from a mixture is well studied problem. There are two major approaches: blind source separation and spatial filtering.

Bringing intelligent healthcare informatics to bear on the dual problems of reducing healthcare costs and improving quality and outcomes is a challenge even in countries with a reasonably developed

Process control and improvement are keys to successful businesses, especially in agile environments.

Non-interactive zero-knowledge proofs make it possible to prove the truth of a statement without revealing any other information.

The talk will discuss the benefits of using logic-based declarative languages, especially for program analysis. The main focus will be on the Doop framework for points-to analysis of Java programs.

JSON is a simple data interchange format. It is rare among standards in that minimalism was one of the principle goals of its design.

Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities.

Public key encryption (PKE) allows parties that had never met in advance to communicate over an unsafe channel.

One of the key challenges facing the professional services delivery business is the issue of optimally balancing competing demands from multiple, concurrent engagements on a limited supply of skill