Twitter: @inf_anlun
GitHub: anlun

I am a PhD student at Saint Petersburg State University, Russia, and a researcher at JetBrains Research. 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). I'm interested in weak memory models and language semantics.

Curriculum vitæ: [HTML]

What's new

[18 March 2018] Giving a talk "Promising Compilation to {x86, Power, ARM}" at Tel Aviv University.
[12 December 2017] Giving a talk "Weak Memory" at ITMO University.




[DBLP, Google Scholar]
  1. 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.
  2. Promising Compilation to ARMv8.3 (In Russian)
    A.Podkopaev, O.Lahav, V.Vafeiadis
    In proceedings of ISP RAS, 2017.
    [Draft, Full proof]
  3. Promising Compilation to ARMv8 POP
    A.Podkopaev, O.Lahav, V.Vafeiadis
    In 2017 European Conference on Object-Oriented Programming, ECOOP 2017.
    [Full paper, PLC slides, ECOOP slides]
  4. Operational Aspects of C/C++ Concurrency
    A.Podkopaev, I.Sergey, A.Nanevski
  5. 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.
    [PDF, Repo]
  6. 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.
    [Springer link, Repo (Haskell), Repo (Kotlin)]
  7. 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.
    [Elibrary, Journal PDF, Project page].


  1. Promising compilation to {x86, Power, ARM}
    A.Podkopaev (based on work of D. Dreyer, C.-K. Hur, J. Kang, O. Lahav, A. Podkopaev, V. Vafeiadis)

Different Activities