Published April 30, 2026 | Version v2
Software Open

Iris-WasmFX: Modular Reasoning for Wasm Stack Switching: Appendices and Artefact

Authors/Creators

  • 1. ROR icon Nanyang Technological University
  • 2. EDMO icon Aarhus University
  • 3. The University of Edinburgh

Description

We present the appendices and artefact for Iris-WasmFX.

Instructions on how to build the artefact are present within the artefact itself.

Files

iris-wasmfx-camera-ready-with-appendices.pdf

Files (1.4 MB)

Name Size Download all
md5:d087c01e410eeec7d7cb7c13025db81b
503.5 kB Download
md5:45ecad98be27d8c890479f5fdf33a0ca
867.5 kB Preview Download