• Sign in
  • Sign up
conf.researchr.org / Christoph Matheja
  • POPL 2021 profile
  • SPLASH 2020 profile

Not registered as user yet

Name: Christoph Matheja

Affiliation: ETH Zurich

Contributions

POPL 2021 Author of Relatively Complete Verification of Probabilistic Programs within the POPL-track
Author of A Pre-Expectation Calculus for Probabilistic Sensitivity within the POPL-track
SPLASH 2020 Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track

Share
xSun 7 Mar 16:33
using conf.researchr.org (v1.43.2)
Support page
Sign Up