Iason Marmanis

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Partial Order Reduction

Top Venues

Proc. ACM Program. Lang.

Publications

Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
SPORE: Combining Symmetry and Partial Order Reduction. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis
Reconciling Preemption Bounding with DPOR. TACAS (1) (2023)
Iason Marmanis, Viktor Vafeiadis
Optimal Bounded Partial Order Reduction. FMCAD (2023)
Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
Unblocking Dynamic Partial Order Reduction. CAV (1) (2023)
Iason Marmanis, Viktor Vafeiadis
SMT-Based Verification of Persistency Invariants of Px86 Programs. VSTTE (2022)
Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis
Truly stateless, optimal dynamic partial order reduction. Proc. ACM Program. Lang. 6 (POPL) (2022)