Anton Podkopaev
Anton Podkopaev
JetBrains Research, HSE University
Подтвержден адрес электронной почты в домене jetbrains.com - Главная страница
Название
Процитировано
Процитировано
Год
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
382019
Promising compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
162017
Operational aspects of C/C++ concurrency
A Podkopaev, I Sergey, A Nanevski
arXiv preprint arXiv:1606.01400, 2016
132016
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
72020
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
52020
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A Podkopaev, D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
52014
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
42017
Reconciling Event Structures with Modern Multiprocessors
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
32019
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
Полиномиальной сложности оптимальные принтер-комбинаторы с выбором
АВ Подкопаев
Труды лаборатории языковых инструментов, 6, 0
1
Making Weak Memory Models Fair
O Lahav, E Namakonov, J Oberhauser, A Podkopaev, V Vafeiadis
arXiv preprint arXiv:2012.01067, 2020
2020
Reconciling Event Structures with Modern Multiprocessors (Artifact)
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
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
Научно-технические ведомости Санкт-Петербургского государственного …, 2017
2017
A language-independent code formatting by syntactic matching and templates
AV Podkopaev, AY Korovianskii, IS Ozernykh
St. Petersburg State Polytechnical University Journal. Computer Science …, 2015
2015
Promising Compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–17