
Home
Welcome
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.
Research Interests
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.