Ike Mulder -

Registered user since Mon 15 Jun 2020

Name:Ike Mulder

Country:Netherlands

Affiliation:Radboud University Nijmegen

Personal website: https://ikemulder.nl

Contributions

2024

PLDI

Author of A Proof Recipe for Linearizability in Relaxed Memory Separation Logic within the PLDI Research Papers-track

CPP

Author of Unification for Subformula Linking under Quantifiers within the CPP 2024-track

2023

SPLASH

Author of Proof Automation for Linearizability in Separation Logic within the OOPSLA-track

PLDI

Author of Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic within the PLDI Research Papers-track
Author in Artifact Evaluation Committee within the Research Artifacts-track

PLNL

Author of Proof Automation for Disjunctions in Concurrent Separation Logic within the PLNL 2023-track

2022

ICFP

Netherlands in Evaluators within the Artifact Evaluation-track

PLDI

Author of Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris within the PLDI-track