Microsoft Research

Traditional Operating System design has been primarily motivated by the need of optimizing system-wide efficiency factors defined in terms of average throughput or utilization.

Many software properties can be analysed through a relational size analysis on each function's inputs and outputs.

A trajectory model, derived from the HMM by imposing explicit relationship between static and dynamic features, is developed and evaluated.

Detecting and correcting errors before run-time is increasingly important in today's ubiquitous computing environment.

Safe languages try to increase software reliability and security by checking for errors at compile time and run time.

Software quality and reliability are increasingly important, but software remains buggy.

Modern enterprises critically depend on a large number of business applications that need to interact with each other.

Multithreaded systems provide infrastructure capable of executing multiple software threads in parallel.

Over the last few years, we have seen a number of real-world systems using live data from sensors (e.g., sensor motes and webcams). A crucial requirement of these systems is high availability.

In this talk, a framework for solving geometric reconstruction problems in computer vision will be presented based on the L-infinity norm.

A long-standing open question in complexity theory is whether there are problems that randomized algorithms can solve using (asymptotically) less space than possible by any deterministic algorithm.

Bayesian approaches to learning problems have many virtues, including their ability to make use of prior knowledge and their ability to link related sources of information, but they also have many

Modeling and estimating software reliability during testing is useful in quantifying the quality and dependability of the developed software systems.

Binary decision diagrams (BDDs) are a data structure that can efficiently represent large relations and provide efficient set operations.  BDDs have traditionally been used for model checking

Today's 802.11 WLANs, which facilitate both 802.11b and 802.11g devices, often experience rate diversity in which multiple nodes attempt to transmit on the shared channel using different speeds.

MSN Search GPM Ramez Naam talks about his new book, More Than Human ( morethanhuman.org/).

The presentation describes the experience gained from building a SOA (service Oriented Architecture) based production health care system for the OSU (Ohio State University) Medical Center.

Keeping up with changing requirements, designs, and specifications requires software developers to continuously modify the existing software code base.  Many conceptually simple modifications can

We present the results of four research projects in empirical open-source software engineering. First, we describe a longitudinal study of 365 versions of Linux.

The cost and inconvenience of backup are unavoidable and often prohibitive.

The Internet is huge, complex, and rapidly evolving. Understanding how today's Internet-scale systems work is challenging, but crucial when designing the networks and applications of tomorrow.

Distributed hash tables are a way to organize the storage and network resources of many Internet hosts to create a single storage system.

Talk 1: Convergence research in the UK (15 mins) The convergence of computer vision and computer graphics is recognized as a significant and developing research area within the UK.

Abstract: Security has become a serious concern in wireless local area networks.

A publisher can make content available to many readers through replication on remote, untrusted computers.

The widening economic gap between countries is paralleled by disparities in health outcomes.

Multi-document summarization involves heavy information compression.

Despite decades of research in fault tolerance, commodity operating systems, such as Windows and Linux, continue to crash.

Your second grade teacher. Your Rabbi. Your dad. Your best friend. Your first boss. Your college wrestling coach.

Programs often make assumptions about the states of the data structures that they manipulate.