anton@podkopaev.netTwitter: @inf_anlun GitHub: anlun CVORCID
I am the head of Programming Languages and Program Analysis lab (PLAN) at JetBrains Research and an adjunct professor at Constructor University Bremen. I was the head of Programming Languages and Tools Lab which merged with Applied Program Analysis Lab. I was an associate professor at Higher School of Economics (November 2018 - June 2022) and a postdoctoral researcher at MPI-SWS hosted by Viktor Vafeiadis (June 2019 - October 2020), I did my PhD at St. Petersburg University, Russia. Before that, I was a research intern at IMDEA Software Institute, Madrid (June - August 2015) and at MPI-SWS, Kaiserslautern (May - August 2016; January, May, September - October 2017, September - October 2018). I'm interested in programming languages, their semantics and implementation, program analysis, concurrency, and weak memory models.

Selected Publications

[DBLP, Google Scholar, Full list of publications]
ASE Demo'24CoqPilot, a plugin for LLM-based generation of proofs
A. Kozyrev, G. Solovev, N. Khramov, A. Podkopaev
[Draft, arXiv, Video (5 min), Video (10 min), GitHub]
POPL'22The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
A. Jeffrey, J. Riely, M. Batty, S. Cooksey, I. Kaysin, A. Podkopaev
[Paper, Full paper, Project, Artifact @Zenodo, GitHub]
Programming'21A Survey of Programming Language Memory Models
E. Moiseenko, A. Podkopaev, D. Koznov
[Paper, Full paper w/ better formatting, Paper (Russian)]
OOPSLA'21Making Weak Memory Models Fair
O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis
[Paper, arXiv, Artifact @Zenodo, DOI, Talk]
ECOOP'20Reconciling Event Structures with Modern Multiprocessors
E. Moiseenko, A. Podkopaev, O. Lahav, O. Melkonian, V. Vafeiadis
[Paper, DOI, Artifact, arXiv, GitHub, Talk]
PLDI'20Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
S.-H. Lee, M. Cho, A. Podkopaev, S. Chakraborty, C.-K. Hur, O. Lahav, V. Vafeiadis
[Paper, DOI, DOI (artifact), Project, GitHub 1, GitHub 2]
PLDI'20Repairing and Mechanising the JavaScript Relaxed Memory Model
C. Watt, C. Pulte, A. Podkopaev, G. Barbier, S. Dolan, S. Flur, J. Pichon-Pharabod, S. Guo
[Paper, DOI, arXiv, Artifact on GitHub]
POPL'19Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
A. Podkopaev, O. Lahav, V. Vafeiadis
[Paper, Full paper, Project, arXiv, GitHub, POPL'19 slides, EWSCS'19 slides]
ECOOP'17Promising Compilation to ARMv8 POP
A. Podkopaev, O. Lahav, V. Vafeiadis
[Full paper, ECOOP'17 slides, ECOOP'17 talk video, PLC'17 slides (in Russian)]
arXiv'16Operational Aspects of C/C++ Concurrency
A. Podkopaev, I. Sergey, A. Nanevski
[arXiv, GitHub]
PSI'14Polynomial-Time Optimal Pretty-Printing Combinators with Choice
A. Podkopaev, D. Boulytchev
[Paper, Springer link, GitHub (Haskell), GitHub (Kotlin)]

Talks

  1. Programming language memory models: Problems, solutions, and directions
    [Hydraconf'20, CSClub'20, Video in English (from Hydra'20), Video in Russian (from CSClub'20)]
  2. Promising compilation to {x86, Power, ARM}
    Based on work of D. Dreyer, C.-K. Hur, J. Kang, O. Lahav, A. Podkopaev, V. Vafeiadis.
    [Slides]

Projects

Teaching

Different Activities

Blog