Follow
Michalis Kokologiannakis
Title
Cited by
Cited by
Year
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
1192017
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language†…, 2019
632019
HMC: Model checking for hardware memory models
M Kokologiannakis, V Vafeiadis
Proceedings of the Twenty-Fifth International Conference on Architectural†…, 2020
282020
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
252017
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
162019
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
152021
GenMC: A Model Checker for Weak Memory Models
M Kokologiannakis, V Vafeiadis
Computer Aided Verification: 33rd International Conference, CAV 2021†…, 2021
132021
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
102019
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
72022
Dynamic partial order reductions for spinloops
M Kokologiannakis, X Ren, V Vafeiadis
2021 Formal Methods in Computer Aided Design (FMCAD), 163-172, 2021
32021
BAM: Efficient Model Checking for Barriers
M Kokologiannakis, V Vafeiadis
Networked Systems: 9th International Conference, NETYS 2021, Virtual Event†…, 2021
12021
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
2023
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
2022
Reconciling Preemption Bounding with DPOR
I Marmanis, M Kokologiannakis, V Vafeiadis
The system can't perform the operation now. Try again later.
Articles 1–14