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). I'm interested in weak memory models, and language semantics.

Curriculum vitæ: [HTML, PDF]

What's new

[August 2016] Finished an internship under supervision @ MPI-SWS, Kaiserslautern.
[May 2016] Started an internship under supervision of Viktor Vafeiadis @ MPI-SWS, Kaiserslautern.
[Apr 2016] Took part in Midlands Graduate School.
[Apr 2016] Gave a short talk at Verified Trustworthy Software Systems.
[Jan 2016] Presented a poster on an operational semantics for C11 at POPL'16 (SRC).


An operational semantics in terms of an abstract machine for the C/C++11 memory model.
[Repo, arXiv, Poster]



[DBLP, Google Scholar]
  1. A Language-Independent Code Formatting by Syntactic Matching and Templates
    A.Podkopaev, A.Korovianskii, I.Ozernykh
    NTV SPbSTU 4 (224), October 2015 [In Russian].
    [PDF, Repo]
  2. Polynomial-Time Optimal Pretty-Printing Combinators with Choice
    A.Podkopaev, D.Boulytchev
    Proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2014).
    [Springer link, Repo (Haskell), Repo (Kotlin)]
  3. Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System
    A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin
    NTV SPbSTU 4 (128), 2011 [In Russian].
    [Elibrary, Journal PDF, Project page].

Drafts in submission

  1. Operational Aspects of C/C++ Concurrency
    A.Podkopaev, I.Sergey, A.Nanevski