SMT-Based Verification of Persistency Invariants of Px86 Programs. - Iason Marmanis; Viktor Vafeiadis (VSTTE, 2022)

Truly stateless, optimal dynamic partial order reduction. - Michalis Kokologiannakis; Iason Marmanis; Vladimir Gladstein; Viktor Vafeiadis (Proc. ACM Program. Lang., 2022)

Unblocking Dynamic Partial Order Reduction. - Michalis Kokologiannakis; Iason Marmanis; Viktor Vafeiadis (CAV (1), 2023)

Optimal Bounded Partial Order Reduction. - Iason Marmanis; Viktor Vafeiadis (FMCAD, 2023)

Reconciling Preemption Bounding with DPOR. - Iason Marmanis; Michalis Kokologiannakis; Viktor Vafeiadis (TACAS (1), 2023)

SPORE: Combining Symmetry and Partial Order Reduction. - Michalis Kokologiannakis; Iason Marmanis; Viktor Vafeiadis (Proc. ACM Program. Lang., 2024)

Model Checking C/C++ with Mixed-Size Accesses. - Iason Marmanis; Michalis Kokologiannakis; Viktor Vafeiadis (Proc. ACM Program. Lang., 2025)