The call for papers for this workshop starts with the observation that software still has bugs, despite considerable investment and improvement in software development process. Software has always had bugs, and as far as I can tell, it will always have bugs. Software, however, need not be fragile, so a single bug can bring down an entire system. Building robust software requires deep, fundamental changes in the architecture of the entire software stack, to introduce isolation between components, to introduce hard interfaces, and to specify and verify many more aspects of systems behavior.