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. (November 2022) Automatically Resolve Errors During Analysis with Mayhem
2. (October 2021) Generating a Tiny Corpus with Greedy Set Cover Minimization