SpISA 2019: Workshop on Instruction Set Architecture Specification

September 13 - Portland, OR, USA

13th September 2019 at Portland State University, Portland OR, USA, as part of ITP 2019.

The SpISA 2019 workshop is devoted to the specification of instruction set architectures in a formal setting, and to the formal proofs of code correctness and other properties with respect to such specifications. We welcome contributions from academia and industry. Topics of interest include:

Important Dates

Accepted papers

Program committee

Page last updated .