Publication
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.
Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian
Rachid Guerraoui, Nirupam Gupta, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Rafaël Benjamin Pinot