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

• Specifications of traditional machine architectures (ARM, MIPS, PowerPC, RISC-V, x86, ...)
• Specifications of virtual machines (JVM, LLVM, Webasm, ...)
• Domain-specific languages for specifying ISAs
• ISA semantics in interactive theorem provers
• Proof methodologies (symbolic simulation, interactive proof, ...)
• Formal applications of instruction set simulators
• Compiler correctness with respect to formal ISA specifications

Important Dates

• Paper submission: June 1, 2019
• Author notification: July 1, 2019
• Workshop: September 13, 2019

Submission instructions

TBD

Program committee

• Matthew Fernandez (Intel, chair)
• John Harrison (Amazon Web Services)
• TBD

Page last updated .