CFP
SpISA-19: Workshop on Instruction Set Architecture Specification Portland State University Portland, OR, United States, September 13, 2019 |
Conference website | https://itp19.cecs.pdx.edu/workshops/ |
Submission link | https://easychair.org/conferences/?conf=spisa19 |
Abstract registration deadline | July 7, 2019 |
Submission deadline | July 7, 2019 |
Topics: formal specification
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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. Papers are not to exceed 4 pages, including abstract and reference list.
List of Topics
- 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
Committees
Program Committee
- Matthew Fernandez (Intel)
- John Harrison (Amazon Web Services
- TBA
Venue
The conference will be held at Portland State University, Portland, OR, USA as part of ITP 2019.
Contact
All questions about submissions should be emailed to Matthew Fernandez <matthew.fernandez@intel.com>.