Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wolfgang Meier
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
Registered user since Sat 20 Jan 2024
Name:
Wolfgang Meier
Personal website:
https://womeier.de/
Contributions
2025
CPP
Author of CertiCoq-Wasm: A verified WebAssembly backend for CertiCoq within the CPP 2025-track
2024
CoqPL
Author of CertiCoq-Wasm: Verified compilation from Coq to WebAssembly within the CoqPL 2024-track
Share
x
Fri 16 Oct 12:29