About me

Hi! I’m Iason, a PostDoc at MPI-SWS. Earlier this year, I completed my PhD under the supervision of Viktor Vafeiadis, where I worked on Stateless Model Checking.

I’m broadly interested in programming languages and software verification, with a focus on concurrency and weak memory reasoning.

Publications

• Model Checking C/C++ with Mixed-Size Accesses POPL’25
  Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis
• Spore: Combining Symmetry and Partial Order Reduction PLDI’24
  Michalis Kokologiannakis^*, Iason Marmanis^*, Viktor Vafeiadis
• Optimal Bounded Partial Order Reduction FMCAD’23
  Iason Marmanis, Viktor Vafeiadis
• Unblocking Dynamic Partial Order Reduction CAV’23
  Michalis Kokologiannakis^*, Iason Marmanis^*, Viktor Vafeiadis
• Reconciling preemption bounding with DPOR TACAS’23
  Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis
• SMT-Based Verification of Persistency Invariants of Px86 Programs VSTEE’22
  Iason Marmanis, Viktor Vafeiadis
• Truly stateless, optimal dynamic partial order reduction POPL’22
  Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis