Anton Podkopaev
Anton Podkopaev
JetBrains Research, HSE
Подтвержден адрес электронной почты в домене jetbrains.com - Главная страница
НазваниеПроцитированоГод
Operational aspects of C/C++ concurrency
A Podkopaev, I Sergey, A Nanevski
arXiv preprint arXiv:1606.01400, 2016
82016
Promising compilation to ARMv8 POP
A Podkopaev, O Lahav, V Vafeiadis
LIPIcs-Leibniz International Proceedings in Informatics 74, 2017
72017
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A Podkopaev, D Boulytchev
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
42014
Полиномиальной сложности оптимальные принтер-комбинаторы с выбором
АВ Подкопаев
Труды лаборатории языковых инструментов, 6, 0
1
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
A Podkopaev, O Lahav, V Vafeiadis
arXiv preprint arXiv:1807.07892, 2018
2018
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
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
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–9