| Email: | Twitter: @inf_anlun | GitHub: anlun | CV: HTML |
西部世界加速器vps-outline
[January 2024] Giving a talk at POPL'19.
西部世界加速器vps-outline
西部世界加速器vps-outline
- Promising compilation to {x86, Power, ARM}
Based on work of D. Dreyer, C.-K. Hur, J. Kang, , A. Podkopaev, .
[Slides]
西部世界加速器vps-outline
- 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.
[怎样才能浏览国外网址, arXiv, Poster]
西部世界加速器vps-outline
- 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
[哪些方法可众浏览国外网站]
- Software Engineering (1 year, undergrads), SPbSU
西部世界加速器vps-outline
- Attended DeepSpec Summer School'18.
- Gave a talk "Promising Compilation to {x86, Power, ARM}" at 电脑怎样进入外国网站.
- 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 [哪些方法可众浏览国外网站].
- Gave a talk "Promising compilation to ARMv8" @ PLC'17.
- Took part in Midlands Graduate School, April 2016.
- Gave a short talk at 解决github网站打不开或者访问慢_bluetears2021的专栏 ...:2021-6-12 · 原创lamdaxulamdaxu1周前 最近想上传伕码到github上去，去发现github打不开。心想可能是github的心情不好。老毛病了，一个月总有那么几天。想着过两天在传吧。两天之后，还是不能打开，我意识到问题了。因为我同学的电脑可众打开。环境 ..., April 2016.
- Presented a poster on an operational semantics for C11 at POPL'16 (SRC), January 2016.
- Took part in OPLSS'14, June 2014.
西部世界加速器vps-outline
- 如何用电脑登录国外网站UsesThis