Video Abstract: Private AI

3 days ago
As the volume of data goes up, the quality of machine learning models, predictions, and services will improve. Once models are trained, predictive cloud services can be built on them, but users who want to take advantage of the services have serious privacy concerns about exposing consumer and enterprise data—such as private health or financial […]

Provably Correct Peephole Optimizations with Alive (PLDI ’15)

5 days ago
Video abstract for PLDI 2015 paper. Produced by Neeltje Berger and Natalya Butterworth (Microsoft Research).

Video Abstract: Panel: Emotionally Intelligent AI and Agents

1 week ago
Emotions are fundamental to human interactions and influence memory, decision-making, and well-being. As AI systems—in particular, intelligent agents—become more advanced, there is increasing interest in applications that can fulfill task goals and social goals, and respond to emotional states. Research has shown that cognitive agents with these capabilities can increase empathy, rapport, and trust with […]

Video Abstract: Towards Socio-Culturally Aware AI

1 week ago
How do we make AI agents appear to be more “human”? The goal of this session is to bring together researchers in human-computer interaction, linguistics, machine learning, speech, and natural language processing to discuss what is required of AI that goes beyond functional intelligence, and that helps agents display social and cultural intelligence. We will […]

Video Abstract: Challenges and Opportunities in Human-Machine Partnership

1 week ago
The new wave of excitement about AI in recent years has been based on successes in perception tasks or on domains with limited and known dynamics. Because machines have achieved human parity in accuracy for image recognition and speech recognition and have beaten human champions on games such as Go and Poker, they have led […]

Video Abstract: Transforming Machine Learning and Optimization through Quantum Computing

1 week ago
In 1982, Richard Feynman first proposed using a “quantum computer” to simulate physical systems with exponential speed over conventional computers. Quantum algorithms can solve problems in number theory, chemistry, and materials science that would otherwise take longer than the lifetime of the universe to solve on an exascale machine. Quantum computers offer new methods for […]

Video Abstract: Microsoft Cognitive Toolkit (CNTK) for Deep Learning

1 week ago
Microsoft Cognitive Toolkit (CNTK) is a production-grade, open-source, deep-learning library. In the spirit of democratizing AI tools, CNTK embraces fully open development, is available on GitHub, and provides support for both Windows and Linux. The recent 2.0 release (currently in release candidate) packs in several enhancements—most notably Python/C++ API support, easy-to-onboard tutorials (as Python notebooks) […]

Video Abstract: AI for Earth

1 week ago
Human society is faced with an unprecedented challenge to mitigate and adapt to changing climates, ensure resilient water supplies, sustainably feed a population of 10 billion, and stem a catastrophic loss of biodiversity. Time is too short, and resources too thin, to achieve these outcomes without the exponential power and assistance of AI. Early efforts […]

The Making of Project Sangam

2 weeks ago
Microsoft Research India started project MEC to understand the adoption of quality educational content in India and how technology can help uplift this adoption rate. The platform saw great adoption in India, Middle East, and Africa with millions of users. Jordan and Mauritius deployments are being run at the national level through ministries of education. […]

The Good, the Bad, and the Practical

3 weeks ago
In this talk, I will discuss how to relax design constraints in quantum information processing in two distinct ways. First, I discuss using principled approaches to statistical inference to make more efficient use of data gathered from quantum devices. Second, I discuss how to use efficient heuristics for experiment design to achieve practical control in […]

Progress in Error-Correction: A Survey

3 weeks ago
Error-correcting codes play a crucial role in safeguarding data against the adverse effects of noise during communication and storage. They are also powerful tools that in the arsenal of theoretical computer science and combinatorics. The central challenge in coding theory is to construct codes with minimum possible redundancy for different error models and requirements on […]

Proving Performance Properties of Functional Programs

3 weeks ago
Static verification of performance properties of programs is an important problem that has attracted a lot of research. However, most existing tools infer best-effort upper bounds and hope that they match users expectations. In this talk, I will present a system for specifying and verifying resources usage bounds of functional programs that use data types, […]