Microsoft Research

In this talk I will present a selection of historical multiprocessor and distributed operating systems from the 1970’s through to the last decade and examine characteristics of those systems that

After a brief introduction of MSR Connections mission and activities, the speaker will review the current data intensive trends in computational science and present a practical approach to address

Lattice agreement is a key decision problem in distributed systems. In this problem, processes start with input values from a lattice, and must learn (non-trivial) values that form a chain.

Today's smartphones know almost everything about us: they capture who we know, who we communicate with, what apps we run, and where we go.

Writing papers and giving talks are key skills for any researcher, but they arenΓÇÖt easy.

Software failures can be sorted into two groups: those that cause the software to do something wrong (e.g. crashing), and those that result in the software not doing something useful (e.g. hanging).

The Kinect sensor has opened up the possibilities of touchless interaction in many different environments beyond simply gaming.

In his centenary year, it is appropriate to address a question that interested him. I will suggest that an answer can be found in TuringΓÇÖs own works.

Distributed file systems allow a collection of nodes to share persistent, named data.

Linearizability: The behavior of concurrent objects is best described through their safety and liveness properties, often referred to as correctness and progress.

We study a dynamic market with asymmetric information that induces the lemons problem. We compare efficiency of the market under different assumption about the timing of trade.

We live in an increasingly the complex and information-rich world that provides huge opportunities for programmers to thrive, explore and create exciting applications.

Software is increasingly vital to the practice of science, yet we have little understanding of how it interacts with the system of scholarly communication, how it is currently produced and how to

Please join the MSPAC for lunch with Dr. Slakey, Friday, June 29th, noon-1pm in the Sonora room of the Microsoft Conference Center, building #33.

The development of a method for interfacing high performance devices with flexible, stretchable, and biocompatible materials could yield breakthroughs in implantable or wearable systems.

.NET Gadgeteer is a new platform conceived to make it easier to design and build custom electronic devices for a range of ubiquitous and mobile computing scenarios.

The costs of congestion in the U.S. air transportation system are substantial, with a recent study estimating these costs at over $30 billion for domestic operations in 2007.

Microsoft Research – 12 августа 2016, 1:35

On Grindr, a location-based social networking application aimed at gay men and their smartphones, the objective is to see and be seen.

From time to time at Microsoft Research we set aside time to talk about strategic aspects of research, that is, the big picture of why we do research and how to have different sorts of impact

A very popular explanation for the emergence of cooperation, a problematic phenomenon for a rational approach, is the existence of an underlying network of contacts constraining who one can interact

Microsoft Research – 12 августа 2016, 1:34

In this lecture, we cover the fundamentals of distributed message-passing algorithms with an emphasis on their correctness.

We consider three basic questions about quantum mechanics: 1. Do `typical' quantum states that occur in Nature have succinct (polynomial) description? 2.

Conventional wisdom has it that a crowd is smarter than a single individual, and that many opinions are better than one.

The Internet has drastically altered the nature of competition in the news industry. This article develops a model of price and quality competition between firms in the online news industry.

Computer-assisted intravital microscopy is an innovative hardware and software solution developed to provide a unique approach to early screening of disease and provide new tools in clinical research.

In this lecture, we consider the problem of replicating data across geo-distributed locations, a problem that is increasingly relevant for large data center applications.

ACID transactions are a classical tool that makes it easier to develop applications that operate correctly in the presence of failures and concurrency.

Decentralized approaches spanning multiple administrative domains (MAD) are an increasingly effective way to deploy services.