Microsoft Research

Background: The past years have seen a surge of techniques predicting failure-prone locations based on more or less complex metrics. Few of these metrics are actionable, though.

Joint work with: Ravindra Guravannavar, Karthik Ramachandra, and Mahendra Chavan Synchronous execution of database queries forces the calling application to block until the query/request is satisfied.

I will define a new distance function on an unoriented 3D point set and describe how it may be used to reconstruct a surface approximating these points.

Recent advances in biometric recognition and the increasing use of biometric data prompt significant privacy challenges associated with the possible misuse, loss, or theft of biometric data.

The Eventual Consistency (EC) approach, which does not restrict concurrent updates to replicas of an object, is essential to scalability of cloud computing.

Solving Hard Problems in Science and Education with Game-based Symbiosis of Humans and Computers This talk will demonstrate the surprising problem-solving power of the game-based, human-computer

Privacy is a growing concern for users and regulators, but collecting personal information enables companies to deliver a better user experience.

Several programming languages now integrate static and dynamic typing, including C#4.0, Perl 6, and Racket (formerly PLT Scheme), and the research languages Sage and Thorn.

A major goal in population ecology is to predict how populations will respond to environmental change.

Yes, there are many (and growing) connections between this very ancient branch of mathematics and that very new one!

We show that preimages of SHA-1 can be computed at the cost of 2^159.3 compression function computations.

Hardware simulations on FPGAs run more than three orders of magnitude faster than software simulations, but with much lower visibility into the circuit under test.

Mechanism design without money has a rich history in social choice literature.

While the under-utilization of licensed spectrum based on measurement studies conducted in a few developed countries has spurred lots of interest in opportunistic spectrum access, there exists no

Mainstream smartphones, their on-board sensors and increasing computational power, and remote human and automated web services show immense promise for improved independence and daily accessibility

A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie).

NULL

Heap-based attacks depend on a combination of memory management errors and an exploitable memory allocator.

Cloud computing has emerged as a multi-billion dollar industry and as a successful paradigm for web application deployment.

In todayΓÇÖs world, data is generated by and collected from a myriad of disciplines such as mechanical systems, sensor network-based Earth science systems, hardware infrastructures, and information

Grammatical inference is a form of machine learning focusing on induction of formal grammars.

Personalization at websites can be at odds with privacy since personalization necessitates the collection of considerable amounts of personal data.

The algebraic/model theoretic design of static analyzers uses abstract domains based on representations of properties and pre-calculated property transformers. It is very efficient.

Almost all important social decisions are taken by individuals on the basis of their opinions, which are formed and updated as a result of their experiences, observations of othersΓÇÖ actions, and

Human visual scene understanding is remarkable: with only a brief glance at an image, an abundance of information is available, including scene category, 3D spatial structure, and the identity of

Medical imaging continues to permeate the practice of medicine, but automated yet accurate segmentation and labeling of anatomical structures continues to be a major obstacle to computerized medical

There exists an entropy-preserving equivariant surjective map from the d-dimensional critical sandpile model to a certain closed, shift-invariant subgroup of the Cartesian product of infinitely many

We address the modeling of reverberant recording environments in the context of under-determined convolutive blind source separation, that is the extraction of the signal of each source from a

Timely and cost-effective analytics over 'big data' is now a key ingredient for success in businesses and scientific disciplines.

In the stochastic knapsack problem, we are given a knapsack with size B, and a set of jobs whose sizes and rewards are drawn from a known probability distribution.