Twitter: @inf_anlun

GitHub: anlun

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]

Talks

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

Projects

Compilation correctness proofs from the Promise machine to ARMv8 models [project page].
An operational semantics in terms of an abstract machine for the C/C++11 memory model.
[Repo, arXiv, Poster]

Teaching

Fall 2023
- Weak memory models (master students), Constructor University
  [Materials]
Spring 2023
- Programming Language Semantics (bachelor students), Constructor University and Neapolis University
  [Materials Neapolis University, Materials Constructor University]
Spring 2016
- Compilers (1 year, master students), IFMO
  [Materials]
Fall 2015
- Software Engineering (2 year, undergrads), SPbSU
  [Assignments repo]
- Compilers (2 year, master students), AU
  [Slides]
Spring 2015
- Software Engineering (1 year, undergrads), SPbSU
  [Assignments]
- Compilers (1 year, master students), IFMO
  [Slides]

Different Activities

Wrote a blog post on store buffering in x86 (in Russian, October 2020).
Gave a talk at CSClub (in Russian, October 2020).
Wrote a blog post on research internships (in Russian, July 2020).
Gave a talk at POPL'19.
Attended DeepSpec Summer School'18.
Gave a talk "Promising Compilation to {x86, Power, ARM}" at Tel Aviv University.
Gave a talk "Weak Memory" at ITMO University.
Gave a "Promising compilation to ARMv8.3" at Ivannikov ISPRAS Open Conference 2017 [Slides].
Gave a talk "Operational approaches to weak memory models" at ISPRAS's seminar [Slides (in Russian)].
Gave a talk "Promising compilation to ARMv8" @ PLC'17.
Took part in Midlands Graduate School, April 2016.
Gave a short talk at Verified Trustworthy Software Systems, April 2016.
Presented a poster on an operational semantics for C11 at POPL'16 (SRC), January 2016.
Took part in OPLSS'14, June 2014.

Blog

Mar 29, 2017
UsesThis