Articoli con mandati relativi all'accesso pubblico - Anton PodkopaevUlteriori informazioni
Disponibili pubblicamente: 4
Making weak memory models fair
O Lahav, E Namakonov, J Oberhauser, A Podkopaev, V Vafeiadis
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021
Mandati: European Commission
Repairing and mechanising the JavaScript relaxed memory model
C Watt, C Pulte, A Podkopaev, G Barbier, S Dolan, S Flur, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandati: UK Engineering and Physical Sciences Research Council, European Commission
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
Mandati: US National Science Foundation, UK Engineering and Physical Sciences …
Promising compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 22: 1 …, 2017
Mandati: European Commission
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software