Ike Mulder

According to our database, Ike Mulder authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.

Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang

Proc. ACM Program. Lang., 2024

Unification for Subformula Linking under Quantifiers.

Ike Mulder, Robbert Krebbers

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Proof Automation for Linearizability in Separation Logic.

Ike Mulder, Robbert Krebbers

Proc. ACM Program. Lang., April, 2023

Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic.

Ike Mulder, Lukasz Czajka, Robbert Krebbers

Proc. ACM Program. Lang., 2023

2022

Diaframe: automated verification of fine-grained concurrent programs in Iris.

Ike Mulder, Robbert Krebbers, Herman Geuvers

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022