• Sign in
  • Sign up
conf.researchr.org / Wolfgang Meier
  • POPL 2024 profile
  • POPL 2025 profile
No Photo

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
xSat 24 May 14:00
using conf.researchr.org (v1.69.0)
Support page
Sign Up