Michalis Kokologiannakis

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Partial Order Reduction

Temporal Properties

Top Venues

Proc. ACM Program. Lang.

Int. J. Softw. Tools Technol. Transf.

Publications

Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis
Automating Memory Model Metatheory with Intersections. CONCUR (2024)
Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis
Enhancing GenMC's Usability and Performance. TACAS (2) (2024)
Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
SPORE: Combining Symmetry and Partial Order Reduction. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proc. ACM Program. Lang. 7 (POPL) (2023)
Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis
Reconciling Preemption Bounding with DPOR. TACAS (1) (2023)
Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
Unblocking Dynamic Partial Order Reduction. CAV (1) (2023)
Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis
Model checking for a multi-execution memory model. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis
Truly stateless, optimal dynamic partial order reduction. Proc. ACM Program. Lang. 6 (POPL) (2022)
Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis
Dynamic Partial Order Reductions for Spinloops. FMCAD (2021)
Michalis Kokologiannakis, Viktor Vafeiadis
GenMC: A Model Checker for Weak Memory Models. CAV (1) (2021)
Michalis Kokologiannakis, Viktor Vafeiadis
BAM: Efficient Model Checking for Barriers. NETYS (2021)
Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis
PerSeVerE: persistency semantics for verification under ext4. Proc. ACM Program. Lang. 5 (POPL) (2021)
Michalis Kokologiannakis, Viktor Vafeiadis
HMC: Model Checking for Hardware Memory Models. ASPLOS (2020)
Michalis Kokologiannakis, Konstantinos Sagonas
Stateless model checking of the Linux kernel's read-copy update (RCU). Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Effective lock handling in stateless model checking. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Model checking for weakly consistent libraries. PLDI (2019)
Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis
Effective stateless model checking for C/C++ concurrency. Proc. ACM Program. Lang. 2 (POPL) (2018)
Michalis Kokologiannakis, Konstantinos Sagonas
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). SPIN (2017)