Suivre
Ilya Kaysin
Titre
Citée par
Citée par
Année
PerSeVerE: Persistency semantics for verification under ext4
M Kokologiannakis, I Kaysin, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
182021
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency
A Jeffrey, J Riely, M Batty, S Cooksey, I Kaysin, A Podkopaev
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
172022
Persistency semantics of the ext4 filesystem
I Kaysin
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3