• Sign in
  • Sign up
conf.researchr.org / Dominik Klumpp
  • PLDI 2022 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
Dominik Klumpp

Registered user since Tue 5 Apr 2022

Name:Dominik Klumpp
Country:Germany
Affiliation:University of Freiburg
Personal website: https://dominik-klumpp.net/
X (Twitter): https://x.com/klumppdo

Contributions

2025

VMCAI

  • Author of Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts within the VMCAI 2025-track

2024

POPL

  • Author of Commutativity Simplifies Proofs of Parameterized Programs within the POPL-track
  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

VMCAI

  • Author of Petrification: Software Model Checking for Programs with Dynamic Thread Management within the VMCAI 2024-track

2023

POPL

  • Author of Stratified Commutativity in Verification Algorithms for Concurrent Programs within the POPL-track

2022

PLDI

  • Author of Sound Sequentialization for Concurrent Program Verification within the PLDI-track

CORA

  • Author of Lightning: Extending Commutativity via Safe Abstraction within the Commute 2022-track

2021

VMCAI

  • Author of Verification of Concurrent Programs Using Petri Net Unfoldings within the VMCAI-track
Share
xSun 15 Jun 04:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up