Bridging the gap between programming languages and hardware weak memory models A Podkopaev, O Lahav, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
102 2019 Promising 2.0: global optimizations in relaxed memory concurrency SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
69 2020 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
32 2021 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
32 2020 Operational aspects of C/C++ concurrency A Podkopaev, I Sergey, A Nanevski
arXiv preprint arXiv:1606.01400, 2016
29 2016 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
25 2022 Promising compilation to ARMv8 POP A Podkopaev, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 22: 1 …, 2017
21 2017 Reconciling event structures with modern multiprocessors E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
18 * 2019 A survey of programming language memory models E Moiseenko, A Podkopaev, D Koznov
Programming and Computer Software 47, 439-456, 2021
11 2021 Polynomial-Time Optimal Pretty-Printing Combinators with Choice A Podkopaev, D Boulytchev
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
8 2015 Promising compilation to ARMv8. 3 AV Podkopaev, O Lahav, V Vafeiadis
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017
4 2017 Extending Intermediate Memory Model with SC accesses A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
Technical report. Available at: http://plv. mpi-sws. org/imm/immsctr. pdf, 2019
2 2019 CoqPilot, a plugin for LLM-based generation of proofs A Kozyrev, G Solovev, N Khramov, A Podkopaev
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
1 2024 Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models EA Moiseenko, VP Gladstein, AV Podkopaev, DV Koznov
Journal Scientific and Technical Of Information Technologies, Mechanics and …, 2022
1 2022 Полиномиальной сложности оптимальные принтер-комбинаторы с выбором АВ Подкопаев
Дипломная работа, кафедра системного программирования, математико …, 0
1 LitmusKt: Concurrency Stress Testing for Kotlin D Lochmelis, E Moiseenko, Y Golubev, A Podkopaev
arXiv preprint arXiv:2501.07472, 2025
2025 Relaxed Memory Concurrency Re-executed E Moiseenko, M Meluzzi, I Meleshchenko, I Kabashnyi, A Podkopaev, ...
Proceedings of the ACM on Programming Languages 9 (POPL), 2149-2175, 2025
2025 Formal Methods for Correct Persistent Programming O Lahav, A Raad, J Tassarotti, V Vafeiadis, A Podkopaev
Dagstuhl Seminar 23412" Formal Methods for Correct Persistent Programming …, 2024
2024 Spectral and luminescent properties of Yb EA Seregina, AA Seregin, GV Tikhonov, AV Podkopaev
Optics and Spectroscopy 131 (3), 332-340, 2023
2023 LIPIcs, Volume 166, ECOOP 2020, Complete Volume}} R Hirschfeld, T Pape, D Ancona, P Barbieri, F Dagnino, E Zucca, H Peleg, ...
34th European Conference on Object-Oriented Programming (ECOOP 2020) 166, 9, 2020
2020 
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org