Automating Memory Model Metatheory with Intersections [slides]
Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis
I am a PhD student working with Prof. Viktor Vafeiadis at the Max Planck Institute for Software Systems (MPI-SWS). I am interested in the area of programming languages and software verification. My current research focuses on automated verification of concurrent programs under weak memory consistency models. I have previously worked on fuzz testing and application security solutions.
Publications
Teaching assistant
Advanced Automata Theory with Prof. Moses Ganardi at RPTU
Organized and gave weekly tutorial lectures