Polynomial-Time Optimal Pretty-Printing Combinators with Choice. - Anton Podkopaev; Dmitri Boulytchev (Ershov Memorial Conference, 2014)

Operational Aspects of C/C++ Concurrency. - Anton Podkopaev; Ilya Sergey; Aleksandar Nanevski (CoRR, 2016)

Promising Compilation to ARMv8 POP. - Anton Podkopaev; Ori Lahav 001; Viktor Vafeiadis (ECOOP, 2017)

Bridging the gap between programming languages and hardware weak memory models. - Anton Podkopaev; Ori Lahav 001; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

Reconciling Event Structures with Modern Multiprocessors. - Evgenii Moiseenko; Anton Podkopaev; Ori Lahav 001; Orestis Melkonian; Viktor Vafeiadis (ECOOP, 2020)

Promising 2.0: global optimizations in relaxed memory concurrency. - Sung-Hwan Lee 001; Minki Cho; Anton Podkopaev; Soham Chakraborty 001; Chung-Kil Hur; Ori Lahav 001; Viktor Vafeiadis (PLDI, 2020)

Repairing and mechanising the JavaScript relaxed memory model. - Conrad Watt; Christopher Pulte; Anton Podkopaev; Guillaume Barbier; Stephen Dolan; Shaked Flur; Jean Pichon-Pharabod; Shu-yu Guo (PLDI, 2020)

Reconciling Event Structures with Modern Multiprocessors (Artifact). - Evgenii Moiseenko; Anton Podkopaev; Ori Lahav 001; Orestis Melkonian; Viktor Vafeiadis (Dagstuhl Artifacts Ser., 2020)

Making weak memory models fair. - Ori Lahav 001; Egor Namakonov; Jonas Oberhauser; Anton Podkopaev; Viktor Vafeiadis (Proc. ACM Program. Lang., 2021)

A Survey of Programming Language Memory Models. - Evgenii Moiseenko; Anton Podkopaev; Dmitrij V. Koznov (Program. Comput. Softw., 2021)

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. - Alan Jeffrey; James Riely; Mark Batty; Simon Cooksey; Ilya Kaysin; Anton Podkopaev (Proc. ACM Program. Lang., 2022)

Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). - Ori Lahav 001; Azalea Raad; Joseph Tassarotti; Viktor Vafeiadis; Anton Podkopaev (Dagstuhl Reports, 2023)

CoqPilot, a plugin for LLM-based generation of proofs. - Andrei Kozyrev; Gleb Solovev; Nikita Khramov; Anton Podkopaev (ASE, 2024)

LitmusKt: Concurrency Stress Testing for Kotlin. - Denis Lochmelis; Evgenii Moiseenko; Yaroslav Golubev; Anton Podkopaev (SIGSOFT FSE Companion, 2025)

Relaxed Memory Concurrency Re-executed. - Evgenii Moiseenko; Matteo Meluzzi; Innokentii Meleshchenko; Ivan Kabashnyi; Anton Podkopaev; Soham Chakraborty 001 (Proc. ACM Program. Lang., 2025)

Can LLMs Enable Verification in Mainstream Programming? - Aleksandr Shefer; Igor Engel; Stanislav Alekseev; Daniil Berezun; Ekaterina Verbitskaia; Anton Podkopaev (CoRR, 2025)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation. - Nikita Khramov; Andrei Kozyrev; Gleb Solovev; Anton Podkopaev (CoRR, 2025)