Michalis Kokologiannakis

25 papers A* 2B 3Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dynamic Robustness Verification Against Weak Memory (Extended Version).
CoRR
Roy David Margalit, Michalis Kokologiannakis, Shachar Itzhaky, Ori Lahav
2025 J jnl
Dynamic Robustness Verification against Weak Memory.
Proc. ACM Program. Lang.
Roy David Margalit, Michalis Kokologiannakis, Shachar Itzhaky, Ori Lahav
2025 J jnl
Model Checking C/C++ with Mixed-Size Accesses.
Proc. ACM Program. Lang.
Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis
2025 B conf
Optimal Concolic Dynamic Partial Order Reduction.
CONCUR
Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra
2025 J jnl
RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency.
Proc. ACM Program. Lang.
Pavel Golovin, Michalis Kokologiannakis, Viktor Vafeiadis
2024 — —
Automated Reasoning under Weak Memory Consistency.
Michalis Kokologiannakis
2024 B conf
Automating Memory Model Metatheory with Intersections.
CONCUR
Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis
2024 — conf
Enhancing GenMC's Usability and Performance.
TACAS (2)
Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis
2024 J jnl
Model Checking Distributed Protocols in Must.
Proc. ACM Program. Lang.
Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar
2024 J jnl
SPORE: Combining Symmetry and Partial Order Reduction.
Proc. ACM Program. Lang.
Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
2023 J jnl
Kater: Automating Weak Memory Model Metatheory and Consistency Checking.
Proc. ACM Program. Lang.
Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
2023 — conf
Reconciling Preemption Bounding with DPOR.
TACAS (1)
Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis
2023 — conf
Unblocking Dynamic Partial Order Reduction.
CAV (1)
Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
2022 J jnl
Model checking for a multi-execution memory model.
Proc. ACM Program. Lang.
Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis
2022 J jnl
Truly stateless, optimal dynamic partial order reduction.
Proc. ACM Program. Lang.
Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis
2021 — conf
BAM: Efficient Model Checking for Barriers.
NETYS
Michalis Kokologiannakis, Viktor Vafeiadis
2021 B conf
Dynamic Partial Order Reductions for Spinloops.
FMCAD
Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis
2021 — conf
GenMC: A Model Checker for Weak Memory Models.
CAV (1)
Michalis Kokologiannakis, Viktor Vafeiadis
2021 J jnl
PerSeVerE: persistency semantics for verification under ext4.
Proc. ACM Program. Lang.
Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis
2020 A* conf
HMC: Model Checking for Hardware Memory Models.
ASPLOS
Michalis Kokologiannakis, Viktor Vafeiadis
2019 J jnl
Effective lock handling in stateless model checking.
Proc. ACM Program. Lang.
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
2019 A* conf
Model checking for weakly consistent libraries.
PLDI
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
2019 J jnl
Stateless model checking of the Linux kernel's read-copy update (RCU).
Int. J. Softw. Tools Technol. Transf.
Michalis Kokologiannakis, Konstantinos Sagonas
2018 J jnl
Effective stateless model checking for C/C++ concurrency.
Proc. ACM Program. Lang.
Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis
2017 — conf
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU).
SPIN
Michalis Kokologiannakis, Konstantinos Sagonas