I will be at POPL'23!

I will be attending the 50th POPL which this year is in Boston, like the very first POPL. I am an author of two of the accepted papers.

I will be presenting the first paper, written with Azalea Raad and Viktor Vafeiadis, which is on a proof technique to prove durable linearizability for advanced fine-grained persistent data structures.

The second paper is on a refinement-based framework for compositionally verifying programs composed of modules written in different languages (e.g. ASM and C).