Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mathias Pedersen
conf.researchr.org general profile
PLDI 2026 profile
Registered user since Thu 9 Apr 2026
Name:
Mathias Pedersen
Country:
Denmark
Affiliation:
Aarhus University
GitHub:
https://github.com/MatteP1
Contributions
2026
PLDI
Author of Iris-WasmFX: Modular Reasoning for Wasm Stack Switching within the PLDI Research Papers-track
Share
x
Sun 18 Oct 13:22
