Email:
Twitter: @inf_anlun
GitHub: anlun

I am a researcher at JetBrains Research and a docent at Higher School of Economics. 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, September - October 2018). I'm interested in weak memory models and language semantics.

Curriculum vitæ: [HTML]

What's new

[January 2019] Giving a talk at POPL'19.

Publications

[DBLP, Google Scholar]

Talks

  1. Promising compilation to {x86, Power, ARM}
    Based on work of D. Dreyer, C.-K. Hur, J. Kang, , A. Podkopaev, .
    [Slides]

Projects

Teaching

Different Activities

Blog