Automatic Device Driver Synthesis

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Teaches automated device driver synthesis, a compiler and systems technique for reducing manual low-level code. Demonstrates a specific technical approach to a systems problem.

A 55-minute video from Microsoft Research: “Automatic Device Driver Synthesis”.

Programming & CS Engineering

Video by Microsoft Research, played through YouTube's embedded player.