Ilya Kaysin 个人学术档案 - 学术资源搜索

20212022202320247 15 9 7

开放获取的出版物数量

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)在 mpi-sws.org 的电子邮件经过验证
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)在 mpi-sws.org 的电子邮件经过验证
Azalea RaadImperial College London在 imperial.ac.uk 的电子邮件经过验证
James RielyProfessor of Computing, DePaul University在 cs.depaul.edu 的电子邮件经过验证
Anton PodkopaevJetBrains Research, Constructor University Bremen在 jetbrains.com 的电子邮件经过验证
Simon CookseyResearch Scientist, NVIDIA在 nvidia.com 的电子邮件经过验证
Alan JeffreyRoblox在 roblox.com 的电子邮件经过验证

Ilya Kaysin

在 cam.ac.uk 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	19	2022
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	19	2021
Persistency semantics of the ext4 filesystem I Kaysin

系统目前无法执行此操作，请稍后再试。

文章 1–3

每年引用数