Microsoft Research

We describe our in-progress efforts to verify safety and liveness properties of a kernelized web browser model (with as little effort as possible).

The majority of development work and deployment of machine translation (MT) technologies over the past several decades have been for international languages.

We consider an environment where potential buyers of an indivisible good have liquidity constraints, in that they cannot pay more than their `budget' regardless of their valuation.

A well known conjecture asserts that on any graph the random walk and the interchange process have the same spectral gap. I will present recent work in collaboration with T.M. Liggett and T.

Over the last 20 years, Computer-Supported Cooperative Work (CSCW) has identified a base set of findings. These findings are taken almost as assumptions within the field.

We consider the stochastic evolution of a (1 + 1)-dimensional polymer in the depinned regime.

Predicate Encryption Emily Shen, MIT Predicate encryption is a new encryption paradigm which gives a master secret key owner fine-grained control over access to encrypted data.

How can we efficiently aggregate rankings, cut a graph into two parts with many edges between them, pack items into bins, cluster items using pairwise similarity information, route vehicles in the

We present an all-pairs shortest path algorithm whose running time on a complete directed graph on $n$ vertices with edge weights chosen independently and uniformly at random from $[0,1]$ is

An important factor determining our success on object recognition and image search problems is how machine learning algorithms solicit and exploit human knowledge.

Segment I 9:00 ΓÇô 10:50 am Welcome and remarks Point Obfuscation and Friends Ran Canetti, Tel Aviv University A point program is a program that accepts a single input and rejects all other inputs.

Laser Processing of Materials III - 'Laser Interactions with Materials' focuses on the materials science of laser processing including understanding ablation mechanisms, controlling the heat

In 1961, Gomory and Hu observed that the minimum st-cuts in an edge-weighted, undirected graph, for all pairs of vertices, can be represented compactly by a tree: the GH-tree.

A key disadvantage of current genome browsers is the inability to support smooth navigation of data from high to low resolutions at rapid speed.

Laser Processing of Materials II - 'Laser System Overview' covers the key components of a laser system, and provides guidance on optimizing the configuration for particular materials processing

One of the main challenges for computational intelligence is to understand how people detect and categorize objects in general, and process and recognize each other's face, in particular.

The 'dimer model' is the study of the set of perfect matchings (dimer coverings) of a graph. For planar graphs, it is possible to count the number of dimer coverings using determinants.

The analysis of very high dimensional data - data sets where the dimensionality of each observation is comparable to or even larger than the number of observations - has drawn increasing attention

For several reasons, the flexibility and adaptability of FPGAs also make them more vulnerable to intended or unintended communication via side-channel mechanisms.

Laser Processing of Materials I - 'How Lasers Work' is a brief summary of the physics of laser beams - 'Anatomy of a CO2 Laser' introduces the critical components of the materials processing

While artificial benchmark suites such as SunSpider have become popular in recent years, recent work has shown that their behavior is unrepresentative of real JavaScript applications found in the

Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the 'trusted-party paradigm,' where the protocol execution is compared with an ideal process

Modern GPUs and CPUs are massively parallel, many-core processors.

In this talk I will give proofs of some 'invariance principles' in probability; the Central Limit Theorem, the Berry--Esseen Theorem, and multidimensional and higher-degree versions thereof.

Cloudy, Without a Chance of Data Loss - Implementation Kevin Bowers, RSA Laboratories Cloud storage promises to provide consumers with cheap storage that can be accessed at any time, from anywhere.

We introduce a notion of what it means for one graph to be a good spectral approximation of another.

Experiment-driven management is an important and overlooked part of system administration that aims to automate the trial-and-error practices used to perform certain administrative tasks today.

From something as simple as a paperclip to far more complex machines such as computers, there are a wide variety of machines forming a regular part of our daily lives.

Segment II 11:10 am ΓÇô 12:30 pm Writing on Wind and Water: Enforcing File Robustness in the Cloud Ari Juels, RSA Laboratories The Cloud abstracts away infrastructural complexity for the benefit of

Objects are 'things' but they are made of 'stuff.' In both human and machine vision, there has been much research on object recognition, but rather little on material perception.