Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
38
38
h-index
2
2
i10-index
2
2
0
16
8
2021
2022
2023
2024
7
15
10
6
Veřejný přístup
Zobrazit všechny
Zobrazit všechny
2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
James Riely
Professor of Computing, DePaul University
E-mailová adresa ověřena na: cs.depaul.edu
Anton Podkopaev
JetBrains Research, Constructor University Bremen
E-mailová adresa ověřena na: jetbrains.com
Simon Cooksey
Research Scientist, NVIDIA
E-mailová adresa ověřena na: nvidia.com
Alan Jeffrey
Roblox
E-mailová adresa ověřena na: roblox.com
Michalis Kokologiannakis
Max Planck Institute for Software Systems (MPI-SWS)
E-mailová adresa ověřena na: mpi-sws.org
Viktor Vafeiadis
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
E-mailová adresa ověřena na: mpi-sws.org
Azalea Raad
Imperial College London
E-mailová adresa ověřena na: imperial.ac.uk
Sledovat
Ilya Kaysin
University of Cambridge
E-mailová adresa ověřena na: cam.ac.uk -
Domovská stránka
Software Verification
Concurrency
Weak Memory Models
Interactive Theorem Proving
Type Theory
Články
Citace
Veřejný přístup
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–3
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě