Tootfinder

Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
https://arxiv.org/abs/2506.07834 …

Execution-Aware Program Reduction for WebAssembly via Record and Replay
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program that still triggers the bug. However, existing execution-unaware program reduction techniques struggle with large and complex Wasm programs, because they rely on static information and apply syntactic transformations, while ignoring the valuable information offered by the input program's execution behavior. We presen…

from my link log —
Wasm SpecTec has been adopted.
https://webassembly.org/news/2025-03-27-spectec/
saved 2025-03-28 https://

SpecTec has been adopted - WebAssembly
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.

This https://arxiv.org/abs/2504.16552 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosystem compatibility challenges in blockchain networks. Building upon WebAssembly (Wasm) while maintaining full Ethereum Virtual Machine (EVM) ABI compatibility, DTVM introduces a Deterministic Middle Intermediate Representation (dMIR) and a hybrid lazy-JIT compilation engine to balance compilation speed and execution eff…

from my link log —
Is Wasm Memory64 actually worth using?
https://spidermonkey.dev/blog/2025/01/15/is-memory64-actually-worth-using.html
saved 2025-01-16

Is Memory64 actually worth using?
After many long years, the Memory64 proposal for WebAssembly has finally been released in both Firefox 134 and Chrome 133. In short, this proposal adds 64-bit pointers to WebAssembly.