Follow
Ike Mulder
Title
Cited by
Cited by
Year
Diaframe: automated verification of fine-grained concurrent programs in Iris
I Mulder, R Krebbers, H Geuvers
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
252022
Proof automation for linearizability in separation logic
I Mulder, R Krebbers
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 462-491, 2023
62023
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
I Mulder, Ł Czajka, R Krebbers
Proceedings of the ACM on Programming Languages 7 (PLDI), 1340-1364, 2023
32023
Artifact of'Proof Automation for Linearizability in Separation Logic'
I Mulder, RJ Krebbers
Zenodo, 2023
12023
Unification for Subformula Linking under Quantifiers
I Mulder, R Krebbers
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
2024
Prusti in Practice
S Gijsberts
2023
Formal verification of upper bounds on translative packing densities
I Mulder
2019
De Banach-Tarski paradox en het keuzeaxioma
I Mulder
2017
The system can't perform the operation now. Try again later.
Articles 1–8