Dominik Klumpp -

Registered user since Tue 5 Apr 2022

Name:Dominik Klumpp

Country:France

Affiliation:LIX, CNRS, Ecole Polytechnique

Personal website: https://dominik-klumpp.net/

Contributions

2026

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

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