Videos

Design Expo 2017: MIT, Cambridge

2 weeks ago
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]

Design Expo 2017: New York University, ITP

2 weeks ago
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]

Design Expo 2017: University of Southern California, School of Cinematic Arts

2 weeks ago
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]

Design Expo 2017: Royal College of Art

2 weeks ago
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]

Design Expo 2017: University of Washington, Interaction Design Program

3 weeks ago
Each year, Microsoft Research sponsors a semester-long class at leading design schools. Students are asked to form interdisciplinary teams of two to four students to design a user experience prototype that solves a real-world problem. From these groups, a representative team from each school presents their work at Microsoft headquarters in Redmond, Washington USA. Design […]

AI and Security

3 weeks ago
In the future, every company will be using AI, which means that every company will need a secure infrastructure that addresses AI security concerns. At the same time, the domain of computer security has been revolutionized by AI techniques, including machine learning, planning, and automatic reasoning. What are the opportunities for researchers in both fields—security […]

Dynamic Program Analysis-based Approach for Algorithm Recognition and Program Repair

3 weeks ago
In this talk, I will describe techniques for recognizing the high-level algorithmic idea of a program and its applications in feedback generation for introductory programming education. Both techniques are based on dynamic program analysis, in particular on execution trace analysis and constraint solving. The first technique is semi-automated and is aimed at finding performance problems […]

Gaussian Sampling over the Integers: Efficient, Generic, Constant-Time 

3 weeks ago
Sampling integers with Gaussian distribution is a fundamental problem that arises in almost every application of lattice cryptography, and it can be both time consuming and challenging to implement. Most previous work has focused on the optimization and implementation of integer Gaussian sampling in the context of specific applications, with fixed sets of parameters. We […]

Social and Emotional Intelligence in AI and Agents

3 weeks ago
Social signals and emotions are fundamental to human interactions and influence memory, decision-making and wellbeing. As AI systems, in particular, intelligent agents, become more advanced, there is increasing interest in applications that can fulfil tasks goals, social goals and respond to emotional states. Research has shown that cognitive agents with these capabilities can increase empathy, […]

99DOTS: Using Mobile Phones to Ensure Complete Recovery from Tuberculosis

3 weeks ago
Tuberculosis (TB) is a completely curable disease, yet over 1 million people die from TB every year. One of the major challenges is to ensure that patients complete a full six-month course of antibiotics, which is required to make a full recovery. Using 99DOTS, patients reveal unpredictable hidden phone numbers whenever they dispense medication from […]

Gender Salience and Racial Frames, Potholes for Women in Science

3 weeks ago
This talk grounds the experience of harassment sociologically drawing attention to the way that race and gender interact to shape who experiences gender harassment and how they respond to it. Gender salience explains how gender moves from the background to the foreground when women experience harassment and racial frames account for the hypersexualization of women […]

F*: Tactics, SMT, and metaprogramming

4 weeks ago
I’ll present the incipient tactics engine for F*, a programming language aimed at verification with an SMT backend. In the quest to make both F* proofs faster and more reliable and the language itself more extensible, we provide a way for user programs to manipulate internal compiler structures for breaking down proof obligations or computing […]