Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Video
Tutorial, Research talk, and Q&A: ElectionGuard: Enabling voters to verify election integrity
00:00 Tutorial: ElectionGuard: Enabling voters to verify election integrity Speaker: Josh Benaloh, Senior Principal Cryptographer, Microsoft Research Redmond This tutorial will describe Microsoft’s free, open-source ElectionGuard toolkit, which can be incorporated into new and existing…
Video
Demo: EverParse: Automatic generation of formally verified secure parsers for cloud integrity
Speaker: Tahina Ramananandro, Principal Research Software Development Engineer, Microsoft Research Redmond DARPA and MITRE estimate that 80 percent of software security vulnerabilities have incorrect input validation as their root cause. In such scenarios, attackers provide…
Video
Research talk: NUWA: Neural visual world creation with multimodal pretraining
Over the past years, large-scale pretrained models with billions of parameters have improved the state of the art in nearly every natural language processing (NLP) task. These models are fundamentally changing the research and development…
Video
Keynote: Universal search and recommendation
Search and recommendation are at the heart of how information workers deal with information overload. Recent advances and trends in science show us that search and recommendation will be transformed in the coming years. One…
Video
Keynote: Learning from observation: Small-data approach to human common sense
Speaker: Katsushi Ikeuchi, Sr. Principal Research Manager, Microsoft Research Redmond Learning-from-Observation (LfO), a robot-teaching paradigm, aims to build a robot system that understands what humans do through a small number of human observations and map…
Video
Research talks: Few-shot and zero-shot visual learning and reasoning
Humans learn, infer, and reason by leveraging prior knowledge without necessarily observing a large number of examples. Visual learning and reasoning technologies, such as few-shot and zero-shot learning, aim to enable human-like learning and reasoning…
Video
Opening remarks: Cloud Intelligence/AIOps
Cloud computing platforms have become part of the basic infrastructure of the world, bringing unprecedented opportunities of digital transformation to business, society, and human life. The AIOps & Cloud Intelligence track brings together researchers from…
Video
Closing remarks: Deep Learning and Large Scale AI
AI has undergone a transformation in recent years with the emergence of large-scale models and deep learning. AI models continue to be able to achieve in areas like language and vision. Large AI models also…
Video
Research talk: Prompt tuning: What works and what’s next
The AI landscape has been transformed by the advent of large-scale models like BERT, Turing, and, most recently, GPT-3. Researchers have brought language models to new heights in terms of performance, propelling advancements in search,…
Video
Research talk: Towards bridging between legal and technical approaches to data protection
Speaker: Kobbi Nissim, Professor, Georgetown University As computer systems become integrated into almost every aspect of society and are increasingly making decisions of legal significance, the need to bridge diverging (and sometimes conflicting) technical and…
