Michalis Kokologiannakis

Orcid: 0000-0002-7905-9739

According to our database1, Michalis Kokologiannakis authored at least 15 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Kater: Automating Weak Memory Model Metatheory and Consistency Checking.
Proc. ACM Program. Lang., January, 2023

Reconciling Preemption Bounding with DPOR.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Unblocking Dynamic Partial Order Reduction.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Model checking for a multi-execution memory model.
Proc. ACM Program. Lang., 2022

Truly stateless, optimal dynamic partial order reduction.
Proc. ACM Program. Lang., 2022

2021
PerSeVerE: persistency semantics for verification under ext4.
Proc. ACM Program. Lang., 2021

BAM: Efficient Model Checking for Barriers.
Proceedings of the Networked Systems - 9th International Conference, 2021

Dynamic Partial Order Reductions for Spinloops.
Proceedings of the Formal Methods in Computer Aided Design, 2021

GenMC: A Model Checker for Weak Memory Models.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
HMC: Model Checking for Hardware Memory Models.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
Stateless model checking of the Linux kernel's read-copy update (RCU).
Int. J. Softw. Tools Technol. Transf., 2019

Effective lock handling in stateless model checking.
Proc. ACM Program. Lang., 2019

Model checking for weakly consistent libraries.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Effective stateless model checking for C/C++ concurrency.
Proc. ACM Program. Lang., 2018

2017
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017


  Loading...