• Sign in
  • Sign up
conf.researchr.org / Ike Mulder
  • ICFP 2022 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLNL 2023 profile
  • POPL 2024 profile
  • SPLASH 2023 profile
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
Share
xTue 20 May 17:44
using conf.researchr.org (v1.69.0)
Support page
Sign Up