Ike Mulder

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Sequent Calculi

Automated Verification

Theorem Proving

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Ike Mulder, Robbert Krebbers
Unification for Subformula Linking under Quantifiers. CPP (2024)
Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ike Mulder, Robbert Krebbers
Proof Automation for Linearizability in Separation Logic. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Ike Mulder, Lukasz Czajka, Robbert Krebbers
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Ike Mulder, Robbert Krebbers, Herman Geuvers
Diaframe: automated verification of fine-grained concurrent programs in Iris. PLDI (2022)