Mark Wassell

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Software Environment

Specification Language

Formal Semantics

Top Venues

Proc. ACM Program. Lang.

Arch. Formal Proofs

Publications

Mark Wassell
MiniSail - A kernel language for the ISA specification language SAIL. Arch. Formal Proofs 2021 (2021)
Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3 (POPL) (2019)