Iason Marmanis

According to our database, Iason Marmanis authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

SPORE: Combining Symmetry and Partial Order Reduction.

Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis

Proc. ACM Program. Lang., 2024

2023

Reconciling Preemption Bounding with DPOR.

Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Optimal Bounded Partial Order Reduction.

Iason Marmanis, Viktor Vafeiadis

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Unblocking Dynamic Partial Order Reduction.

Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Truly stateless, optimal dynamic partial order reduction.

Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis

Proc. ACM Program. Lang., 2022

SMT-Based Verification of Persistency Invariants of Px86 Programs.

Iason Marmanis, Viktor Vafeiadis

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022