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

Not registered as user yet

Name:Christoph Matheja
Affiliation:ETH Zurich

Contributions

SPLASH 2022 Author of Modular Specification and Verification of Closures in Rust within the COVID Time Papers In Person-track
SPLASH 2021 Author of Modular Specification and Verification of Closures in Rust within the OOPSLA-track
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
xTue 28 Mar 13:41
using conf.researchr.org (v1.60.0)
Support page
Sign Up