@article{legoupil-2026-iris, title={Iris-WasmFX: Modular Reasoning for Wasm Stack Switching}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3808271}, DOI={10.1145/3808271}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Legoupil, Maxime and Pedersen, Mathias and Birkedal, Lars and Lindley, Sam and Pichon-Pharabod, Jean}, year={2026}, month=June, pages={604–628} }