Twitter: @inf_anlun GitHub: anlun CVORCID
I am a researcher at JetBrains Research and an associate professor at Higher School of Economics. I did my PhD at St. Petersburg University, Russia. I was a postdoctoral researcher at MPI-SWS hosted by Viktor Vafeiadis (June 2019 - October 2020), 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 weak memory models and language semantics.

What's new

[October 2020] My blog post on store buffering in x86 (in Russian).
[October 2020] Giving a talk at CSClub (in Russian).
[July 2020] My blog post on research internships (in Russian).
[January 2019] Giving a talk at POPL'19.

Selected Publications

[DBLP, Google Scholar, Full list of publications]


  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, , A. Podkopaev, .



Different Activities