Iason Marmanis
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2022–2025
on a stage with
who talks about the same things
- Michalis Kokologiannakis12 talks
- Krishnendu Chatterjee11 talks
- Viktor Toman3 talks
- Andreas Podelski6 talks
- Andreas Pavlogiannis18 talks
- Viktor Vafeiadis23 talks
| title | conference | date |
|---|---|---|
| Model Checking C/C++ with Mixed-Size Accesses | POPL 2025 | 2025-01-19 |
Presents an algorithm that lets a DPOR-based model checker handle C/C++ mixed-size accesses by treating whole instructions atomically while allowing revisits… | ||
| SPORE: Combining Symmetry and Partial Order Reduction | PLDI 2024 | 2024-06-24 |
SPORE is a stateless model checker that actually combines symmetry reduction and dynamic partial order reduction to cut interleavings exponentially; it proves… | ||
| Truly Stateless, Optimal Dynamic Partial Order Reduction | POPL 2022 | 2022-01-16 |
Claim: TruSt explores exactly one interleaving per Mazurkiewicz-equivalence class while using linear (paper shows how to get from N^2 to linear) memory instead… | ||
| nothing matches | ||