Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
Video
Artificial Social Intelligence
Breakthroughs in Artificial Intelligence (AI) have typically shown that AI systems are good at solving specific tasks that have a well-defined goal, such as Speech Recognition, Image Captioning, Games like Poker/Go/Jeopardy, among others. However, as…
Microsoft Research Blog
Microsoft unveils Project Brainwave for real-time AI
By Doug Burger, Distinguished Engineer, Microsoft Today at Hot Chips 2017, our cross-Microsoft team unveiled a new deep learning acceleration platform, codenamed Project Brainwave. I’m delighted to share more details in this post, since Project…
Video
Resource Efficient Driving Policy
When attacking the problem of Autonomous Driving, one must take into account strict computational constraints, posed by the desired low cost of sensors and processors, and by the required real-time performance. Specifically, when considering Driving…
Video
Trading-Off Cost of Deployment Versus Accuracy for Predictive Models
Predictive models are finding an increasing number of applications in many industries. As a result, a practical means for trading-off the cost of deploying a model versus its effectiveness is needed. Our work is motivated…
Video
Small Deep Neural Networks – Their Advantages, and Their Design
Deep neural networks (DNNs) have led to significant improvements to the accuracy of machine-learning applications. For many problems, such as object classification and object detection, DNNs have led to levels of accuracy that are acceptable…
Video
Post-quantum cryptography from supersingular isogeny problems?
We review existing cryptographic schemes based on the hardness of computing isogenies between supersingular isogenies, and present some attacks against them. In particular, we present new techniques to accelerate the resolution of isogeny problems when…
Tool
SDVBench
This repository contains a subset of the internal tests used by Microsoft’s Static Driver Verifier tool. These tests are generated from Window’s Device Drivers while checking for one of the various properties that WDM drivers must satisfy. For…