Антон Подкопаев
Исследовательские группы
Биография
Антон возглавляет научную группу, посвященную слабым моделям памяти, в JetBrains Research. Антон получил звание к.ф.-м.н. в 2018 году.
Персональный сайт: podkopaev.net
Профессиональная активность
Семантика языков программирования, слабые модели памяти, корректность компиляторов, сертификационное программирование, функциональное программирование, pretty-printing.
Публикации
The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
Январь 2022
A. Jeffrey, J. Riely, M. Batty, S. Cooksey, I. Kaysin, A. Podkopaev
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
2022
E. Moiseenko, V. Gladstein, A. Podkopaev, D. Koznov
Making Weak Memory Models Fair
2021
O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis
Distinguished Paper Award at OOPSLA'21
A Survey of Programming Language Memory Models
2021
E. Moiseenko, A. Podkopaev, D. Koznov
Reconciling Event Structures with Modern Multiprocessors
Июль 2020
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Июнь 2020
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
Repairing and Mechanising the JavaScript Relaxed Memory Model
Июнь 2020
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod Shu-yu Guo
Compilation of OCaml memory model into Power (In Russian)
Декабрь 2019
Egor Namakonov, Anton Podkopaev
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
Январь 2019
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Project page: http://plv.mpi-sws.org/imm/
Relational Programming with memoization and negation (In Russian)
Август 2018
E. Moiseenko, A. Podkopaev
Promising Compilation to ARMv8.3 (In Russian)
Декабрь 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model (In Russian)
Декабрь 2017
A. Podkopaev, O. Lahav, V. Vafeiadis
Promising Compilation to ARMv8 POP
Июнь 2017
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Operational Aspects of C/C++ Concurrency
Июнь 2016
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)
Октябрь 2015
A.Podkopaev, A.Korovianskii, I.Ozernykh
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
2014
Anton Podkopaev, Dmitry Boulytchev
Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal
2011
Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович
Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System (In Russian)
2011
A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin