Michalis Kokologiannakis

Publications

344

Citations

H-Index

2017

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Uppsala University

National Technical University of Athens

Tel Aviv University

Michalis Kokologiannakis is an author at Max Planck Institute for Software Systems specializing in engineering, formal methods, and formal verification.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationComputer ArchitectureProgram AnalysisSoftware AnalysisParallel Computing

Publications per year

2017–2023

Publications

Effective stateless model checking for C/C++ concurrency

Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas et al. · Proceedings of the ACM on Programming Languages · 2017 · 103 citations · Full text

Program Checking, Engineering, Verification +20

Model checking for weakly consistent libraries

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis · 2019 · 79 citations

Program Checking, Engineering, Verification +22

Truly stateless, optimal dynamic partial order reduction

Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein et al. · Proceedings of the ACM on Programming Languages · 2022 · 38 citations · Full text

Mathematical Programming, Reduced Order Modeling, Engineering +17

HMC

Michalis Kokologiannakis, Viktor Vafeiadis · 2020 · 27 citations · Full text

Engineering, Hardware Verification Language, Verification +17

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

Michalis Kokologiannakis, Konstantinos Sagonas · 2017 · 20 citations

Engineering, Verification, Computer Architecture +28

Rows per page

1–5 of 10