Get started
Author

Anton Podkopaev

Observed names: A. Podkopaev, A. V. Podkopaev, A.V. Podkopaev, Podkopaev, Anton, Подкопаев Антон Викторович, Подкопаев, Антон Викторович
ORCID: 0000-0002-9448-6587
Observed ORCID: 0000-0002-9448-6587
OpenAlex ID: A5082235493
Promising 2.0: global optimizations in relaxed memory concurrency
2020 · Sung-Hwan Lee, Minki Cho, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 56
PDF
Making weak memory models fair
2021 · Ori Lahav, Egor Namakonov, et al. · Proceedings of the ACM on Programming Languages · 30
PDF
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency
2022 · Alan Jeffrey, James Riely, et al. · Proceedings of the ACM on Programming Languages · 26
PDF
Repairing and mechanising the JavaScript relaxed memory model
2020 · Conrad Watt, Christopher Pulte, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 20
PDF
CoqPilot, a plugin for LLM-based generation of proofs
2024 · Andrei Kozyrev, Gleb Solovev, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 15
PDF
Promising Compilation to ARMv8 POP
2017 · Podkopaev, Anton, Lahav, Ori, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 12
PDF
A Survey of Programming Language Memory Models
2021 · E. Moiseenko, A. Podkopaev, et al. · Programming and Computer Software · 11
RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
2026 · Andrei Kozyrev, Nikita Khramov, et al. · Adaptive Agents and Multi-Agents Systems · 7
PDF
Reconciling Event Structures with Modern Multiprocessors
2020 · Moiseenko, Evgenii, Podkopaev, Anton, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 6
PDF
Relaxed Memory Concurrency Re-executed
2025 · Evgenii Moiseenko, Matteo Meluzzi, et al. · Proceedings of the ACM on Programming Languages · 4
Reconciling Event Structures with Modern Multiprocessors
2019 · Moiseenko, Evgenii, Podkopaev, Anton, et al. · arXiv (Cornell University) · 4
PDF
Skill Issue: Lessons from Optimizing Repository SKILLs for Coding Agents
2026 · Kozyrev, Mykhailo, Kozyrev, Andrei, et al. · arXiv (Cornell University) · 3
PDF
Reconciling Event Structures with Modern Multiprocessors (Artifact)
2020 · Moiseenko, Evgenii, Podkopaev, Anton, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3
PDF
Replication Package for Article: Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
2020 · Sung-Hwan Lee, Minki Cho, et al. · Artifact Digital Object Group · 2
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
2015 · Anton Podkopaev, Dmitri Boulytchev · Lecture notes in computer science · 2
RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
2026 · Kozyrev, Andrei, Khramov, Nikita, et al. · arXiv (Cornell University) · 1
PDF
LitmusKt: Concurrency Stress Testing for Kotlin
2025 · Denis Lochmelis, Evgenii Moiseenko, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 1
PDF
Compilation of OCaml memory model into Power
2019 · E. S. Namakonov, A. V. Podkopaev · Proceedings of the Institute for System Programming of RAS · 1
PDF
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
2022 · E.V. Moiseenko, V.P. Gladstein, et al. · Scientific and technical journal of information technologies mechanics and optics
PDF
Mechanized in Coq Proofs for Article
2018 · Anton Podkopaev, Ori Lahav, et al. · Artifact Digital Object Group
Реляционное программирование с мемоизацией и отрицанием
2018 · Моисеенко Евгений Александрович, Подкопаев Антон Викторович · CyberLeninK (CyberLeninka)
О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8. 3
2017 · Подкопаев Антон Викторович, Лахав Ори, et al. · CyberLeninK (CyberLeninka)
PDF
Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal
2011 · Кузенкова Анастасия Сергеевна, Дерипаска Анна Олеговна, et al. · CyberLeninK (CyberLeninka)
Works count: 31
Citation count: 215
H-index: 7
I10-index: 7
Year
Topic
Type