Ilya Kaysin

20212022202320247 15 10 6

Общий доступ

2 статьи

0 статей

доступно

недоступно

На основе финансирования

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
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

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	20	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	18	2021
Persistency semantics of the ext4 filesystem I Kaysin

В данный момент система не может выполнить эту операцию. Повторите попытку позднее.

Статьи 1–3

Ссылок за год