| 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 | 26 | 2022 |
| Proof automation for linearizability in separation logic I Mulder, R Krebbers Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 462-491, 2023 | 6 | 2023 |
| 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 | 3 | 2023 |
| Artifact of'Proof Automation for Linearizability in Separation Logic' I Mulder, RJ Krebbers Zenodo, 2023 | 1 | 2023 |
| 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 |
