| Effective stateless model checking for C/C++ concurrency M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017 | 158 | 2017 |
| Model checking for weakly consistent libraries M Kokologiannakis, A Raad, V Vafeiadis Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 108 | 2019 |
| GenMC: A Model Checker for Weak Memory Models M Kokologiannakis, V Vafeiadis International Conference on Computer Aided Verification, 427-440, 2021 | 53 | 2021 |
| HMC: Model checking for hardware memory models M Kokologiannakis, V Vafeiadis Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 46 | 2020 |
| 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 | 36 | 2022 |
| Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU) M Kokologiannakis, K Sagonas Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 32 | 2017 |
| PerSeVerE: Persistency semantics for verification under ext4 M Kokologiannakis, I Kaysin, A Raad, V Vafeiadis Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 24 | 2021 |
| Effective lock handling in stateless model checking M Kokologiannakis, A Raad, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-26, 2019 | 22 | 2019 |
| Stateless model checking of the Linux kernel’s read–copy update (RCU) M Kokologiannakis, K Sagonas International journal on software tools for technology transfer 21 (3), 287-306, 2019 | 16 | 2019 |
| Kater: automating weak memory model metatheory and consistency checking M Kokologiannakis, O Lahav, V Vafeiadis Proceedings of the ACM on Programming Languages 7 (POPL), 544-572, 2023 | 13 | 2023 |
| Unblocking Dynamic Partial Order Reduction M Kokologiannakis, I Marmanis, V Vafeiadis International Conference on Computer Aided Verification, 230-250, 2023 | 9 | 2023 |
| Dynamic partial order reductions for spinloops M Kokologiannakis, X Ren, V Vafeiadis 2021 Formal Methods in Computer Aided Design (FMCAD), 163-172, 2021 | 9 | 2021 |
| BAM: Efficient Model Checking for Barriers M Kokologiannakis, V Vafeiadis International Conference on Networked Systems, 223-239, 2021 | 6 | 2021 |
| Model checking for a multi-execution memory model E Moiseenko, M Kokologiannakis, V Vafeiadis Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 758-785, 2022 | 5 | 2022 |
| Jan. 2022.“Truly stateless, optimal dynamic partial order reduction.” M Kokologiannakis, I Marmanis, V Gladstein, V Vafeiadis Proc. ACM Program. Lang 6, 0 | 5 | |
| 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 | 1 | 2024 |
| Enhancing GenMC’s Usability and Performance M Kokologiannakis, R Majumdar, V Vafeiadis International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 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 | | 2025 |
| Relinche: Automatically Checking Linearizability under Relaxed Memory Consistency P Golovin, M Kokologiannakis, V Vafeiadis Proceedings of the ACM on Programming Languages 9 (POPL), 2090-2117, 2025 | | 2025 |
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresse e-mail validée de mpi-sws.org