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 | 94 | 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 | 62 | 2020 |
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 | 30 | 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 | 29 | 2021 |
Operational aspects of C/C++ concurrency A Podkopaev, I Sergey, A Nanevski arXiv preprint arXiv:1606.01400, 2016 | 27 | 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 | 22 | 2022 |
Promising compilation to ARMv8 POP A Podkopaev, O Lahav, V Vafeiadis 31st European Conference on Object-Oriented Programming (ECOOP 2017), 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 | 16* | 2019 |
A survey of programming language memory models E Moiseenko, A Podkopaev, D Koznov Programming and Computer Software 47, 439-456, 2021 | 9 | 2021 |
Polynomial-Time Optimal Pretty-Printing Combinators with Choice A Podkopaev, D Boulytchev Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 9 | 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 |
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 | |
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 | | 2024 |
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 |
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 |
31st European Conference on Object-Oriented Programming (ECOOP 2017) W Schulte, G Bracha, R Tate, TA Anderson, H Liu, L Kuper, E Totoni, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | | 2017 |