Videos

Protecting People from Algorithms (and Vice Versa)

7 days ago
Computing technologies today have made it much easier to gather personal data. Algorithms are constantly analyzing such personal information and making consequential decisions on people. The extensive use of algorithms imposes the risks of algorithms mistreating people such as privacy violation or unfair discrimination. There is also a risk of people mistreating algorithms. For example, […]

Ignite Talks-James Vlahos

7 days ago
Botness is a two-day gathering in NYC on November 4-5, 2016 at NYU/ITP. We’ll discuss all things bots: startups, tools, bots for work and play, discovery, and engagement. We will work together to shape the evolving technologies to support innovation and open collaboration. See more on this video at www.microsoft.com/en-us/research/video/ignite-talks-james-vlahos/

Aerial Informatics and Robotics Platform

1 week ago
The video shows a simulation of the quadrotor flight in a sub-urban environment. The visuals depict how the camera mounted on the quadrotor perceives the world. See more on the project: www.microsoft.com/en-us/research/group/air/ Read the blog post: blogs.microsoft.com/next/2017/02/15/microsoft-shares-open-source-system-training-drones-gadgets-move-safely/#sm.0000v8bqc0rcdflis6g1wekfl455r

Improving Programmability and Performance for Mobile/Cloud Applications

2 weeks 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

3 weeks ago

Dr. TLA+ Series – Byzantine Paxos

3 weeks 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

3 weeks 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

3 weeks 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

4 weeks 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

4 weeks 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

4 weeks 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

4 weeks 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 […]