SPLASH 2016 Keynote: The Science of Deep Specification

Abstraction and modularity underlie all successful hardware and software systems: We build complex artifacts by decomposing them into parts that can be under...