BrighterTube

Programming by Sketching

Microsoft Research359K subscribers

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

Covers programming by sketching approach for software synthesis. Teaches automated program generation from partial specifications and constraint solving techniques.

A 74-minute video from Microsoft Research: “Programming by Sketching”.

Programming & CS

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

Part of Programming and Programming Languages