Paper on Static Analysis of WebAssembly accepted at ECOOP

Modular Abstract Definitional Interpreters for WebAssembly
Katharina Brandl, Sebastian Erdweg, Sven Keidel, and Nils Hansen. In Proceedings of European Conference on Object-Oriented Programming (ECOOP). 2023. [ pdf ]