Michalis Kokologiannakis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Optimal Concolic Dynamic Partial Order Reduction. | Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra |
| 2024 | CONCUR | Automating Memory Model Metatheory with Intersections. | Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis |
| 2024 | TACAS | Enhancing GenMC's Usability and Performance. | Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis |
| 2023 | CAV | Unblocking Dynamic Partial Order Reduction. | Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis |
| 2023 | TACAS | Reconciling Preemption Bounding with DPOR. | Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis |
| 2021 | CAV | GenMC: A Model Checker for Weak Memory Models. | Michalis Kokologiannakis, Viktor Vafeiadis |
| 2021 | FMCAD | Dynamic Partial Order Reductions for Spinloops. | Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis |
| 2020 | ASPLOS | HMC: Model Checking for Hardware Memory Models. | Michalis Kokologiannakis, Viktor Vafeiadis |
| 2019 | PLDI | Model checking for weakly consistent libraries. | Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis |