| 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 | 75 | 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 | 49 | 2020 |
| Operational aspects of C/C++ concurrency A Podkopaev, I Sergey, A Nanevski arXiv preprint arXiv:1606.01400, 2016 | 24 | 2016 |
| 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 | 20 | 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 | 19 | 2021 |
| Promising compilation to ARMv8 POP A Podkopaev, O Lahav, V Vafeiadis 31st European Conference on Object-Oriented Programming, 1-28, 2017 | 18 | 2017 |
| 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 | 14 | 2022 |
| Reconciling event structures with modern multiprocessors E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis arXiv preprint arXiv:1911.06567, 2019 | 13* | 2019 |
| Polynomial-Time Optimal Pretty-Printing Combinators with Choice A Podkopaev, D Boulytchev Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 7 | 2015 |
| A survey of programming language memory models E Moiseenko, A Podkopaev, D Koznov Programming and Computer Software 47, 439-456, 2021 | 6 | 2021 |
| Promising compilation to ARMv8. 3 AV Podkopaev, O Lahav, V Vafeiadis Proceedings of the Institute for System Programming of the RAS 29 (5), 149-164, 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 |
| Полиномиальной сложности оптимальные принтер-комбинаторы с выбором АВ Подкопаев Дипломная работа, кафедра системного программирования, математико …, 0 | 1 | |
| Leibniz International Proceedings in Informatics, LIPIcs MKW Games | | 2020 |
| Compilation of OCaml memory model into Power ES Namakonov, A Podkopaev Proceedings of the Institute for System Programming of the RAS 31 (5), 63-78, 2019 | | 2019 |
| Relational programming with memoization and negation/Реляционное программирование с мемоизацией и отрицанием EA Moiseenko, AV Podkopaev St. Petersburg State Polytechnical University Journal. Computer Science …, 2018 | | 2018 |
| On compilation correctness for a subset of a promising memory model to the ARMv8. 3 memory model AV Podkopaev, O Lahav, V Vafeiadis Информатика, телекоммуникации и управление 10 (4), 51-69, 2017 | | 2017 |
| A language-independent code formatting by syntactic matching and templates AV Podkopaev, AY Korovianskii, IS Ozernykh Computing, Telecommunication and Control, 37-50, 2015 | | 2015 |
| A LANgUAgE-INDEPENDENT CODE FORMATTINg BY SYNTACTIC MATCHINg AND TEMPLATES ЯФТ ПрОгрАММ НАУЧНО-ТЕХНИЧЕСКИЕ, 37, 0 | | |
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
