Michalis Kokologiannakis

According to our database, Michalis Kokologiannakis authored at least 21 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Automated Reasoning under Weak Memory Consistency.

Michalis Kokologiannakis

PhD thesis, 2024

SPORE: Combining Symmetry and Partial Order Reduction.

Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis

Proc. ACM Program. Lang., 2024

Model Checking Distributed Protocols in Must.

Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar

Proc. ACM Program. Lang., 2024

Enhancing GenMC's Usability and Performance.

Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Automating Memory Model Metatheory with Intersections.

Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Extending GenMC's Usability and Performance (Replication Package).

Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis

Dataset, October, 2023

Kater: Automating Weak Memory Model Metatheory and Consistency Checking.

Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis

Proc. ACM Program. Lang., January, 2023

Reconciling Preemption Bounding with DPOR.

Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Unblocking Dynamic Partial Order Reduction.

Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Model checking for a multi-execution memory model.

Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis

Proc. ACM Program. Lang., 2022

Truly stateless, optimal dynamic partial order reduction.

Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis

Proc. ACM Program. Lang., 2022

2021

PerSeVerE: persistency semantics for verification under ext4.

Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2021

BAM: Efficient Model Checking for Barriers.

Michalis Kokologiannakis, Viktor Vafeiadis

Proceedings of the Networked Systems - 9th International Conference, 2021

Dynamic Partial Order Reductions for Spinloops.

Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis

Proceedings of the Formal Methods in Computer Aided Design, 2021

GenMC: A Model Checker for Weak Memory Models.

Michalis Kokologiannakis, Viktor Vafeiadis

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

HMC: Model Checking for Hardware Memory Models.

Michalis Kokologiannakis, Viktor Vafeiadis

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Stateless model checking of the Linux kernel's read-copy update (RCU).

Michalis Kokologiannakis, Konstantinos Sagonas

Int. J. Softw. Tools Technol. Transf., 2019

Effective lock handling in stateless model checking.

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

Model checking for weakly consistent libraries.

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Effective stateless model checking for C/C++ concurrency.

Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis

Proc. ACM Program. Lang., 2018

2017

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU).

Michalis Kokologiannakis, Konstantinos Sagonas

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017