Videos

Improving Programmability and Performance for Mobile/Cloud Applications

2 months ago
The proliferation of datacenters, smartphones, personal sensing and tracking devices, and home automation products is fundamentally changing the applications we interact with daily.  Modern applications are no longer limited to a single desktop computer but now commonly span many mobile devices and cloud servers.  In this talk, I will present three systems that improve the […]

Dave Wecker: Software Demo: Microsoft LIQUiD

2 months ago

Dr. TLA+ Series – Byzantine Paxos

2 months ago
In this lecture we will discuss how to tolerate Byzantine faults in achieving consensus. We illustrate through refining Paxos step by step. This should be most fun to those who have become familiar with Paxos-based distributed consensus through the Series. Enough background of Paxos will be covered so the lecture requires no Paxos expertise. We […]

Exponential separation between quantum communication complexity and classical information complexity

2 months ago
We show an exponentially large separation between {em quantum communication complexity} and {em classical information complexity} by exhibiting a Boolean function with such a property. By the link between information and amortized communication, this implies the existence of a task for which the amortized classical communication complexity is exponentially emph{smaller} than the quantum communication complexity. […]

Symmetry protected topological order at nonzero temperature

2 months ago
We address the question of whether symmetry-protected topological (SPT) order can persist at nonzero temperature. We present three results in this direction. First, we prove that nontrivial SPT order protected by a global on-site symmetry cannot persist at nonzero temperature. Second, we provide an explicit example of a three-dimensional spin lattice system protected by a […]

Mixed-Initiative Approaches to Global Editing in Slideware, CHI 2015

2 months ago
See more on this video at www.microsoft.com/en-us/research/video/mixed-initiative-approaches-global-editing-slideware-chi-2015/

A Framework for Automatically Generating Interactive Instructional Scaffolding, CHI 2015

2 months ago
See more on this video at www.microsoft.com/en-us/research/video/framework-automatically-generating-interactive-instructional-scaffolding-chi-2015/

How interns impact research at Microsoft

2 months ago
Top Microsoft Research executives and interns comment on  the contributions interns make and the opportunities they have to work with some of the world’s top researchers. For more information: www.microsoft.com/en-us/research/careers/ See more in this video at www.microsoft.com/en-us/research/video/interns-new-england-lab-impact-research-microsoft/

Learning Language through Interaction

2 months ago
Machine learning-based natural language processing systems are amazingly effective, when plentiful labeled training data exists for the task/domain of interest. Unfortunately, for broad coverage (both in task and domain) language understanding, we’re unlikely to ever have sufficient labeled data, and systems must find some other way to learn. I’ll describe a novel algorithm for learning […]

Convenient (and Collaborative) Audiovisual Media

2 months ago
Audiovisual media is an attractive and rich source of information, widely used in education, entertainment and industry. But it can take painfully long hours to author, edit and navigate. My research looks at ways to make creation and manipulation of audiovisual media easier and more convenient. In particular, I will talk about novel interaction techniques […]

Characterization of OLTP Workloads: from Micro-architecture to Power/Performance

2 months ago
Traditional online transaction processing (OLTP) systems severely under-utilize the micro-architectural resources; more than half of the CPU cycles go to stalls, and the number of instructions retired per cycle barely reaches one on machines that are able to retire up to four. This causes large power waste, and renders the power-hungry, heavily optimized Intel Xeon […]

Analyzing the Entire Program: Applying Natural Language Processing to Software Engineering

2 months ago
A powerful, but limited, way to view software is as source code alone. Mathematical techniques, such as abstract interpretation and model checking, can indicate whether the program satisfies a formal specification. But, where does the formal specification come from? A program consists of much more than a sequence of instructions. Developers make use of test […]