TY  - RPRT
TI  - Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)
AU  - Dinghong Zhong
AU  - Alexander Bai
AU  - Mikail Khan
AU  - Guannan Wei
PY  - 2026
UR  - https://arxiv.org/abs/2608.18327
ID  - 2608.18327
ER  -