Performant Bounds Checking for 64-Bit WebAssembly. - Lukas Döllerer; Alexis Engelke (VMIL@SPLASH, 2024)