Email Gateway (Aug 22 2022 at 19:57): Email Gateway (Aug 22 2022 at 19:57):From: "Fernandez, Matthew" <matthew.fernandez@intel.com>
Dear colleagues,
As an extension to the previously posted CFP below, we will be accepting submissions until July 7 2019.
The inaugural Workshop on Instruction Set Architecture Specification
(SpISA2019) will take place on September 13th, 2019 in Portland, Oregon, USA. SpISA2019 will be collocated with the Tenth International Conference on Interactive Theorem Proving (ITP2019).
Paper Submission
SpISA2019 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, ...)
Submissions will undergo single-blind peer review. They should be no more than 4 pages in length including bibliographic references and are to be submitted in PDF format via EasyChair via the following link:
https://easychair.org/conferences/?conf=spisa19
Important Dates
Paper submission, final deadline: July 7, 2019
Author notification: July 31, 2019
Workshop: September 13, 2019
Contact
Matthew Fernandez <matthew.fernandez@intel.com>
John Harrison <jrh013@gmail.com>
Last updated: Apr 18 2024 at 04:17 UTC