Anton Podkopaev

Research Groups

Biography

Anton is the head of Weak Memory Concurrency group in JetBrains Research and a associate professor at HSE University (SPb). In 2018, he obtained a candidate degree from St. Petersburg University. In 2014, Anton graduated with honors from the Software Engineering Department of the Mathematics and Mechanics Faculty at the same university. In 2009, he graduated from the Lyceum No. 239.

Personal website: podkopaev.net

Google scholar

Professional Activity

Programming language semantics, weak memory models, compiler correctness, certified programming, functional programming, pretty-printing.

Publications

Reconciling Event Structures with Modern Multiprocessors

July 2020

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

The European Conference on Object-Oriented Programming (ECOOP)

Read more

Promising 2.0: Global Optimizations in Relaxed Memory Concurrency

June 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)

Read more

Repairing and Mechanising the JavaScript Relaxed Memory Model

June 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)

Read more

Compilation of OCaml memory model into Power (In Russian)

December 2019

Egor Namakonov, Anton Podkopaev

Proceedings of ISP RAS

Read more

Bridging the Gap Between Programming Languages and Hardware Weak Memory Models

January 2019

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

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

Read more

Relational Programming with memoization and negation (In Russian)

August 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

Read more

On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model (In Russian)

December 2017

A. Podkopaev, O. Lahav, V. Vafeiadis

NTV SPbSTU

Read more

Promising Compilation to ARMv8.3 (In Russian)

December 2017

A. Podkopaev, O. Lahav, V. Vafeiadis

Proceedings of ISP RAS

Read more

Promising Compilation to ARMv8 POP

June 2017

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Read more

Operational Aspects of C/C++ Concurrency

June 2016

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski

arXiv

Read more

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

October 2015

A.Podkopaev, A.Korovianskii, I.Ozernykh

NTV SPbSTU 4 (224)

Read more

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

Read more

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)

Read more

Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal

2011

Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, Таран Кирилл Сергеевич, Подкопаев Антон Викторович, Литвинов Юрий Викторович, Брыксин Тимофей Александрович

Научно-технические ведомости СПбГПУ. Информатика, телекоммуникации, управление

Read more