Follow
Anton Podkopaev
Anton Podkopaev
JetBrains Research, Constructor University Bremen
Verified email at jetbrains.com - Homepage
Title
Cited by
Cited by
Year
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
922019
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
572020
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
282021
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
272020
Operational aspects of C/C++ concurrency
A Podkopaev, I Sergey, A Nanevski
arXiv preprint arXiv:1606.01400, 2016
262016
Promising compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
202017
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
192022
Reconciling event structures with modern multiprocessors
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
14*2019
A survey of programming language memory models
E Moiseenko, A Podkopaev, D Koznov
Programming and Computer Software 47, 439-456, 2021
92021
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A Podkopaev, D Boulytchev
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
92015
Promising compilation to ARMv8. 3
AV Podkopaev, O Lahav, V Vafeiadis
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017
42017
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
22019
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
12022
Полиномиальной сложности оптимальные принтер-комбинаторы с выбором
АВ Подкопаев
Дипломная работа, кафедра системного программирования, математико …, 0
1
CoqPilot, a plugin for LLM-based generation of proofs
A Kozyrev, G Solovev, N Khramov, A Podkopaev
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
The system can't perform the operation now. Try again later.
Articles 1–20