Published December 27, 2023
| Version v.1.0
Software
Open
avanhatt/asplos24-ae-crocus: v.1.0
Authors/Creators
Description
Artifact for our ASPLOS 2024 paper, Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection (Crocus)
Files
avanhatt/asplos24-ae-crocus-v.1.0.zip
Files
(9.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e9921531ae6a6be47360c44afdd9715d
|
9.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/avanhatt/asplos24-ae-crocus/tree/v.1.0 (URL)