Anton Podkopaev

25 papers A* 3A 2Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
CoRR
Andrei Kozyrev, Nikita Khramov, Denis Lochmelis, Valerio Morelli, Gleb Solovev, Anton Podkopaev
2025 J jnl
Are Agents Just Automata? On the Formal Equivalence Between Agentic AI and the Chomsky Hierarchy.
CoRR
Roham Koohestani, Ziyou Li, Anton Podkopaev, Maliheh Izadi
2025 J jnl
Can LLMs Enable Verification in Mainstream Programming?
CoRR
Aleksandr Shefer, Igor Engel, Stanislav Alekseev, Daniil Berezun, Ekaterina Verbitskaia, Anton Podkopaev
2025 — conf
LitmusKt: Concurrency Stress Testing for Kotlin.
SIGSOFT FSE Companion
Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev, Anton Podkopaev
2025 J jnl
LitmusKt: Concurrency Stress Testing for Kotlin.
CoRR
Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev, Anton Podkopaev
2025 J jnl
Relaxed Memory Concurrency Re-executed.
Proc. ACM Program. Lang.
Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty
2025 J jnl
RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation.
CoRR
Nikita Khramov, Andrei Kozyrev, Gleb Solovev, Anton Podkopaev
2024 A* conf
CoqPilot, a plugin for LLM-based generation of proofs.
ASE
Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev
2024 J jnl
CoqPilot, a plugin for LLM-based generation of proofs.
CoRR
Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev
2023 J jnl
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412).
Dagstuhl Reports
Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev
2022 J jnl
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency.
Proc. ACM Program. Lang.
Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
2021 J jnl
A Survey of Programming Language Memory Models.
Program. Comput. Softw.
Evgenii Moiseenko, Anton Podkopaev, Dmitrij V. Koznov
2021 J jnl
Making weak memory models fair.
Proc. ACM Program. Lang.
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
2020 J jnl
Making Weak Memory Models Fair.
CoRR
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
2020 A* conf
Promising 2.0: global optimizations in relaxed memory concurrency.
PLDI
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
2020 J jnl
Reconciling Event Structures with Modern Multiprocessors (Artifact).
Dagstuhl Artifacts Ser.
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2020 A conf
Reconciling Event Structures with Modern Multiprocessors.
ECOOP
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2020 J jnl
Repairing and Mechanising the JavaScript Relaxed Memory Model.
CoRR
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2020 A* conf
Repairing and mechanising the JavaScript relaxed memory model.
PLDI
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2019 J jnl
Bridging the gap between programming languages and hardware weak memory models.
Proc. ACM Program. Lang.
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
2019 J jnl
Reconciling Event Structures with Modern Multiprocessors.
CoRR
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
2018 J jnl
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models.
CoRR
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
2017 A conf
Promising Compilation to ARMv8 POP.
ECOOP
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
2016 J jnl
Operational Aspects of C/C++ Concurrency.
CoRR
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
2014 — conf
Polynomial-Time Optimal Pretty-Printing Combinators with Choice.
Ershov Memorial Conference
Anton Podkopaev, Dmitri Boulytchev