Ilya Kaysin

According to our database, Ilya Kaysin authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2022

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

2021

PerSeVerE: persistency semantics for verification under ext4.

Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis

Proc. ACM Program. Lang., 2021