REMS-DeepSpec 2020
Mon 15 - Tue 16 June 2020
co-located with PLDI 2020
All Editions
Mon 15 - Tue 16 June 2020

REMS-DeepSpec 2020 with PLDI 2020

REMS-DeepSpec 2020 provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. It will consist of in-depth presentations by members of the REMS project (UK) and DeepSpec (US), invited talks by external experts, and general talks selected in response to a call for short abstracts. No formal proceedings are associated with this even ...

Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States

DeepSpec 2019 with PLDI 2019

Deep Specifications The workshop will be held on June 22-23 (Saturday and Sunday). Formal verification of systems software requires specifications that are: rich (describing complex component behaviors in detail) two-sided (connected to both implementations and clients) formal (written in a mathematical notation with clear semantics to support tools such as type checkers, analysis and testing tools, aut ...

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

DeepSpec 2018 with PLDI 2018

Deep Specifications Formal verification of systems software requires specifications that are: rich (describing complex component behaviors in detail) two-sided (connected to both implementations and clients) formal (written in a mathematical notation with clear semantics to support tools such as type checkers, analysis and testing tools, automated or machine-assisted provers, and advanced IDEs) live (c ...