DSW
All Editions
Sun 18 - Fri 23 June 2017 Barcelona, SpainDSW 2017 with PLDI 2017DeepSpec is a 5-year, 4-institution initiative to push forward the state of the art in applying computer proof assistants to verify realistic software and hardware stacks at scale. A key part of the mission is to engage with industry, learning about adoption obstacles, educating practitioners about how to apply these techniques, and even launching pilot collaborations with specific companies. For that reason, we ... |
Organizing Committee (DSW 2017)