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
792019
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
542020
Operational aspects of C/C++ concurrency
A Podkopaev, I Sergey, A Nanevski
arXiv preprint arXiv:1606.01400, 2016
262016
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
242020
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
212021
Promising compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
192017
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
172022
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
92015
A survey of programming language memory models
E Moiseenko, A Podkopaev, D Koznov
Programming and Computer Software 47, 439-456, 2021
62021
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
-
, , , 0
1
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)
O Lahav, A Raad, J Tassarotti, V Vafeiadis, A Podkopaev
Schloss DagstuhlLeibniz-Zentrum für Informatik, 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
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
XeBr Ar-Xe-C2HBrClF3
AV PODKOPAEV, AI MIS'KEVICH
VII : ꠅ, 0
The system can't perform the operation now. Try again later.
Articles 1–20