PerSeVerE: persistency semantics for verification under ext4. - Michalis Kokologiannakis; Ilya Kaysin; Azalea Raad; Viktor Vafeiadis (Proc. ACM Program. Lang., 2021)

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. - Alan Jeffrey; James Riely; Mark Batty; Simon Cooksey; Ilya Kaysin; Anton Podkopaev (Proc. ACM Program. Lang., 2022)