I am a PhD student at the Max Planck Institute for Software Systems (MPI-SWS), based in Kaiserslautern, Germany. I am advised by Viktor Vafeiadis. My current research focuses on weak memory models. I have previously worked on fuzz testing and application security solutions.

Publications

1. (CONCUR’24) Automating Memory Model Metatheory with Intersections - An extension of Kleene Algebra with Tests (KAT) that can be used to reason about memory models and concurrent programs (presentation slides)

Blog posts

1. (October 2021) Generating a Tiny Corpus with Greedy Set Cover Minimization
2. (November 2022) Automatically Resolve Errors During Analysis with Mayhem