My name is Michalis Kokologiannakis and I am a PhD student at the Max Planck Institute for Software Systems (MPI-SWS), advised by Viktor Vafeiadis.
I am broadly interested in programming languages, compilers, weak
memory models, and software verification.
More specifically, I am mainly interested in advancing the state of the art of testing, concurrent software verification with emphasis on systems programming, and efficient algorithms for stateless model checking that incorporate extensions for checking the effects of the weak memory models employed by modern microprocessors.
I am also interested in the Read-Copy-Update (RCU) synchronization mechanism, its usage and applications, and RCU's implementation in the Linux Kernel.