Twitter: @inf_anlun | GitHub: anlun | CV | ORCID |
What's new
[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
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
- Spring 2016
- Compilers (1 year, master students), IFMO
[Materials]
- Compilers (1 year, master students), IFMO
- Fall 2015
- Software Engineering (2 year, undergrads), SPbSU
[Assignments repo] - Compilers (2 year, master students), AU
[Slides]
- Software Engineering (2 year, undergrads), SPbSU
- Spring 2015
- Software Engineering (1 year, undergrads), SPbSU
[Assignments] - Compilers (1 year, master students), IFMO
[Slides]
- Software Engineering (1 year, undergrads), SPbSU
Different Activities
- 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