Ilya Kaysin

20212022202320247 15 10 6

Yleisessä käytössä

2 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

James RielyProfessor of Computing, DePaul UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.depaul.edu
Anton PodkopaevJetBrains Research, Constructor University BremenVahvistettu sähköpostiosoite verkkotunnuksessa jetbrains.com
Simon CookseyResearch Scientist, NVIDIAVahvistettu sähköpostiosoite verkkotunnuksessa nvidia.com
Alan JeffreyRobloxVahvistettu sähköpostiosoite verkkotunnuksessa roblox.com
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Vahvistettu sähköpostiosoite verkkotunnuksessa mpi-sws.org
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Vahvistettu sähköpostiosoite verkkotunnuksessa mpi-sws.org
Azalea RaadImperial College LondonVahvistettu sähköpostiosoite verkkotunnuksessa imperial.ac.uk

Ilya Kaysin

Vahvistettu sähköpostiosoite verkkotunnuksessa cam.ac.uk - Kotisivu


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–3

Sitaatteja vuodessa