Антон Подкопаев

Антон Подкопаев


Исследовательские группы

Биография

Антон возглавляет научную группу, посвященную слабым моделям памяти, в JetBrains Research. Антон получил звание к.ф.-м.н. в 2018 году.

Персональный сайт: podkopaev.net

Google scholar

Профессиональная активность

Семантика языков программирования, слабые модели памяти, корректность компиляторов, сертификационное программирование, функциональное программирование, 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

49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2012)

Подробнее

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

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

Подробнее

Making Weak Memory Models Fair

2021

O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis

Distinguished Paper Award at OOPSLA'21

OOPSLA

Подробнее

A Survey of Programming Language Memory Models

2021

E. Moiseenko, A. Podkopaev, D. Koznov

Journal 'Programming and Computer Software',

Подробнее

Reconciling Event Structures with Modern Multiprocessors

Июль 2020

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Подробнее

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

41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)

Подробнее

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

41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)

Подробнее

Compilation of OCaml memory model into Power (In Russian)

Декабрь 2019

Egor Namakonov, Anton Podkopaev

Proceedings of ISP RAS

Подробнее

Bridging the Gap Between Programming Languages and Hardware Weak Memory Models

Январь 2019

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). Lisbon, Portugal

Подробнее

Relational Programming with memoization and negation (In Russian)

Август 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

Подробнее

Promising Compilation to ARMv8.3 (In Russian)

Декабрь 2017

A. Podkopaev, O. Lahav, V. Vafeiadis

Proceedings of ISP RAS

Подробнее

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

NTV SPbSTU

Подробнее

Promising Compilation to ARMv8 POP

Июнь 2017

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Подробнее

Operational Aspects of C/C++ Concurrency

Июнь 2016

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski

arXiv

Подробнее

A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)

Октябрь 2015

A.Podkopaev, A.Korovianskii, I.Ozernykh

NTV SPbSTU 4 (224)

Подробнее

Polynomial-Time Optimal Pretty-Printing Combinators with Choice

2014

Anton Podkopaev, Dmitry Boulytchev

Proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Подробнее

Средства быстрой разработки предметно-ориентированных решений в 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

NTV SPbSTU 4 (128)

Подробнее