| Truly stateless, optimal dynamic partial order reduction M Kokologiannakis, I Marmanis, V Gladstein, V Vafeiadis Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022 | 34 | 2022 |
| Unblocking Dynamic Partial Order Reduction M Kokologiannakis, I Marmanis, V Vafeiadis International Conference on Computer Aided Verification, 230-250, 2023 | 9 | 2023 |
| Reconciling Preemption Bounding with DPOR I Marmanis, M Kokologiannakis, V Vafeiadis International Conference on Tools and Algorithms for the Construction and …, 2023 | 3 | 2023 |
| Spore: Combining Symmetry and Partial Order Reduction M Kokologiannakis, I Marmanis, V Vafeiadis Proceedings of the ACM on Programming Languages 8 (PLDI), 1781-1803, 2024 | 2 | 2024 |
| Model Checking C/C++ with Mixed-Size Accesses I Marmanis, M Kokologiannakis, V Vafeiadis Proceedings of the ACM on Programming Languages 9 (POPL), 2232-2252, 2025 | 1 | 2025 |
| SMT-Based Verification of Persistency Invariants of Px86 Programs I Marmanis, V Vafeiadis Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 1 | 2022 |
| Optimal Bounded Partial Order Reduction I Marmanis, V Vafeiadis 2023 Formal Methods in Computer-Aided Design (FMCAD), 86-91, 2023 | | 2023 |
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifisert e-postadresse på mpi-sws.org