DSW 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI 2017
All Editions
Sun 18 - Fri 23 June 2017 Barcelona, Spain

DSW 2017 with PLDI 2017

DeepSpec 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 ...