• Sign in
  • Sign up
conf.researchr.org / Christoph Matheja
  • ETAPS 2019 profile
  • PLDI 2022 profile
  • POPL 2019 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • POPL 2026 profile
  • SPLASH 2023 profile
Christoph Matheja

Registered user since Tue 22 Jan 2019

Name:Christoph Matheja
Country:Denmark
Affiliation:DTU
Personal website: https://cmath.eu
Research interests:Verification, Probabilistic Systems

Contributions

2026

POPL

  • Committee Member in Program Committee within the POPL-track

2025

POPL

  • Workshops Co-Chair in Organizing Committee

2024

POPL

  • Workshops Co-Chair in Organizing Committee

Dafny

  • Author of Caesar: A Verifier for Probabilistic Programs within the Dafny 2024-track

2023

SPLASH

  • Author of A Deductive Verification Infrastructure for Probabilistic Programs within the OOPSLA-track

POPL

  • Author of A Calculus for Amortized Expected Runtimes within the POPL-track
  • Session Chair of Relational & Automated Verification (part of POPL)
  • Author of Deductive Verification of Probabilistic Programs within the TutorialFest-track
  • Committee Member in Program Committee within the POPL-track

2022

PLDI

  • Author of (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity within the SIGPLAN Track-track

2019

QAPL

  • Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track

TACAS

  • Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track

POPL

  • Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track
Share
xSat 12 Jul 06:18
using conf.researchr.org (v1.69.1)
Support page
Sign Up