Articles with public access mandates - Anton PodkopaevLearn more
Available somewhere: 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
Mandates: 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
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Promising compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
Mandates: 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
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
Publication and funding information is determined automatically by a computer program