Publications
Below you can find all my publications, sorted in reverse chronological order:- Effective Stateless Model Checking for C/C++ Concurrency with Ori Lahav, Kostis Sagonas, Viktor Vafeiadis -- POPL 2018 [project page]
- Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) with Kostis Sagonas -- SPIN 2017 [bibtex]