Artigos com autorizações de acesso público - Michalis KokologiannakisSaiba mais
14 artigos disponíveis publicamente
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
Autorizações: Swedish Research Council, European Commission
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Autorizações: European Commission
GenMC: A Model Checker for Weak Memory Models
M Kokologiannakis, V Vafeiadis
International Conference on Computer Aided Verification, 427-440, 2021
Autorizações: European Commission
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
Autorizações: European Commission
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
Autorizações: European Commission
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
Autorizações: European Commission
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
Autorizações: European Commission
Unblocking Dynamic Partial Order Reduction
M Kokologiannakis, I Marmanis, V Vafeiadis
International Conference on Computer Aided Verification, 230-250, 2023
Autorizações: European Commission
BAM: Efficient Model Checking for Barriers
M Kokologiannakis, V Vafeiadis
International Conference on Networked Systems, 223-239, 2021
Autorizações: European Commission
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
Autorizações: European Commission
Reconciling preemption bounding with DPOR
I Marmanis, M Kokologiannakis, V Vafeiadis
International Conference on Tools and Algorithms for the Construction and …, 2023
Autorizações: European Commission
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
Autorizações: European Commission
Enhancing GenMC’s Usability and Performance
M Kokologiannakis, R Majumdar, V Vafeiadis
International Conference on Tools and Algorithms for the Construction and …, 2024
Autorizações: European Commission
Automating Memory Model Metatheory with Intersections
A Koutsouridis, M Kokologiannakis, V Vafeiadis
35th International Conference on Concurrency Theory (CONCUR 2024), 2024
Autorizações: European Commission
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador