Publications
Below you can find all my publications, sorted in reverse chronological order:- PerSeVerE: Persistency Semantics for Verification under Ext4 with Ilya Kaysin, Azalea Raad, Viktor Vafeiadis -- POPL 2021 [doi] [bib] [project page]
- HMC: Model Checking for Hardware Memory Models with Viktor Vafeiadis -- ASPLOS 2020 [doi] [bib] [project page]
- Effective Lock Handling in Stateless Model Checking with Azalea Raad, Viktor Vafeiadis -- OOPSLA 2019 [doi] [bib] [project page]
- Model Checking for Weakly Consistent Libraries with Azalea Raad, Viktor Vafeiadis -- PLDI 2019 [doi] [bib] [project page]
- Stateless model checking of the Linux kernel's read-copy update (RCU) with Kostis Sagonas -- STTT 2019 [doi] [bib] [project page]
- Effective Stateless Model Checking for C/C++ Concurrency with Ori Lahav, Kostis Sagonas, Viktor Vafeiadis -- POPL 2018 [doi] [bib] [project page]
- Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) with Kostis Sagonas -- SPIN 2017 [doi] [bib] [project page]