[DBLP, Google Scholar]
  1. CoqPilot, a plugin for LLM-based generation of proofs
    A. Kozyrev, G. Solovev, N. Khramov, A. Podkopaev
    In International Conference on Automated Software Engineering, ASE 2024
    [Draft, arXiv, Video (5 min), Video (10 min), GitHub]
  2. The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
    A. Jeffrey, J. Riely, M. Batty, S. Cooksey, I. Kaysin, A. Podkopaev
    In Symposium on Principles of Programming Languages, POPL 2022
    [Paper, Full paper, Project, Artifact @Zenodo, GitHub]
  3. Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
    E. Moiseenko, V. Gladstein, A. Podkopaev, D. Koznov
    In Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2022
    [DOI]
  4. A Survey of Programming Language Memory Models
    E. Moiseenko, A. Podkopaev, D. Koznov
    In Journal 'Programming and Computer Software', 2021
    [Paper, Full paper w/ better formatting, Paper (Russian)]
  5. Making Weak Memory Models Fair
    O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis
    In OOPSLA 2021
    [Paper, arXiv, Artifact @Zenodo, DOI, Talk]
    Distinguished Paper Award
  6. Reconciling Event Structures with Modern Multiprocessors
    E. Moiseenko, A. Podkopaev, O. Lahav, O. Melkonian, V. Vafeiadis
    In 2020 European Conference on Object-Oriented Programming
    [Paper, DOI, Artifact, arXiv, GitHub, Talk]
  7. Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
    S.-H. Lee, M. Cho, A. Podkopaev, S. Chakraborty, C.-K. Hur, O. Lahav, V. Vafeiadis
    In Conference on Programming Language Design and Implementation, PLDI 2020
    [Paper, DOI, DOI (artifact), Project, GitHub 1, GitHub 2]
  8. Repairing and Mechanising the JavaScript Relaxed Memory Model
    C. Watt, C. Pulte, A. Podkopaev, G. Barbier, S. Dolan, S. Flur, J. Pichon-Pharabod, S. Guo
    In Conference on Programming Language Design and Implementation, PLDI 2020
    [Paper, DOI, arXiv, Artifact on GitHub]
  9. Compilation of OCaml memory model into Power (In Russian)
    E. Namakonov, A. Podkopaev
    In proceedings of ISP RAS, 2019
    [Draft]
  10. Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
    A. Podkopaev, O. Lahav, V. Vafeiadis
    In Symposium on Principles of Programming Languages, POPL 2019
    [Paper, Full paper, Project, arXiv, GitHub, POPL'19 slides, EWSCS'19 slides]
  11. Relational programming with memoization and negation (In Russian)
    E. Moiseenko, A. Podkopaev
    In NTV SPbSTU 2 (11), August 2018
    [Paper]
  12. On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model (In Russian)
    A. Podkopaev, O. Lahav, V. Vafeiadis
    In NTV SPbSTU 4 (10), December 2017
    [Paper]
  13. Promising Compilation to ARMv8.3 (In Russian)
    A. Podkopaev, O. Lahav, V. Vafeiadis
    In proceedings of ISP RAS, 2017
    [Draft, Appendix]
  14. Promising Compilation to ARMv8 POP
    A. Podkopaev, O. Lahav, V. Vafeiadis
    In 2017 European Conference on Object-Oriented Programming
    [Full paper, ECOOP'17 slides, ECOOP'17 talk video, PLC'17 slides (in Russian)]
  15. Operational Aspects of C/C++ Concurrency
    A. Podkopaev, I. Sergey, A. Nanevski
    [arXiv, GitHub]
  16. A Language-Independent Code Formatting by Syntactic Matching and Templates (In Russian)
    A. Podkopaev, A. Korovianskii, I. Ozernykh
    In NTV SPbSTU 4 (224), October 2015
    [Paper, GitHub]
  17. Polynomial-Time Optimal Pretty-Printing Combinators with Choice
    A. Podkopaev, D. Boulytchev
    In proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2014
    [Paper, Springer link, GitHub (Haskell), GitHub (Kotlin)]
  18. Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System (In Russian)
    A. Kuzenkova, A. Deripaska, K. Taran, A. Podkopaev, Yu. Litvinov, T. Bryksin
    In NTV SPbSTU 4 (128), 2011
    [Paper, Elibrary, Project]