Ilya Kaysin
I am a PhD student at the University of Cambridge (sup. by Neel Krishnaswami). Before, I was a researcher in Weak Memory team at JetBrains Research- • Software Verification
- • Concurrency
- • Interactive Theorem Proving
- • Algorithms
- • Type Theory
- • Weak Memory Models
Publications
- [POPL'22] The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency (A. Jeffrey, J. Riely, M. Batty, S. Cooksey, I. Kaysin, A. Podkopaev)
- [POPL'21] PerSeVerE: Persistency Semantics for Verification under Ext4 (M. Kokologiannakis, I. Kaysin, A. Raad, V. Vafeiadis)
- [SRC @ POPL'20] Mechanization of Data Race Freedom guarantee proofs for Weakestmo memory model (Poster)