About me

Hi! I’m Iason and I am a fifth-year PhD Student at the Max Planck Institute for Software Systems. My advisor is Viktor Vafeiadis.

I’m broadly interested in programming languages and software verification, and more specifically in model checking concurrent software under weak memory models.

Publications

• 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

See also dblp.