Email:
Twitter: @inf_anlun
GitHub: anlun

I am a researcher at JetBrains Research. I did my PhD at Saint Petersburg University, Russia. 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

[September-October 2018] Visiting MPI-SWS, Kaiserslautern.
[July 2018] Attending DeepSpec Summer School.

Projects

Teaching

Publications

[DBLP, Google Scholar]
  1. 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.
    [arXiv]
  2. Relational programming with memoization and negation (In Russian)
    E. Moiseenko, A.Podkopaev
    In NTV SPbSTU 2 (11), August 2018.
    [Paper]
  3. 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]
  4. Promising Compilation to ARMv8.3 (In Russian)
    A.Podkopaev, O.Lahav, V.Vafeiadis
    In proceedings of ISP RAS, 2017.
    [Draft, Full proof]
  5. 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]
  6. Operational Aspects of C/C++ Concurrency
    A.Podkopaev, I.Sergey, A.Nanevski
    [arXiv]
  7. 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]
  8. 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)]
  9. 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].

Talks

  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)
    [Slides]

Different Activities

Blog