| 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 | 32 | 2022 |
| Unblocking Dynamic Partial Order Reduction M Kokologiannakis, I Marmanis, V Vafeiadis International Conference on Computer Aided Verification, 230-250, 2023 | 7 | 2023 |
| Reconciling Preemption Bounding with DPOR I Marmanis, M Kokologiannakis, V Vafeiadis International Conference on Tools and Algorithms for the Construction and …, 2023 | 2 | 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 | | 2024 |
| Optimal Bounded Partial Order Reduction I Marmanis, V Vafeiadis 2023 Formal Methods in Computer-Aided Design (FMCAD), 86-91, 2023 | | 2023 |
| SMT-Based Verification of Persistency Invariants of Px86 Programs I Marmanis, V Vafeiadis Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | | 2022 |
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
