Hi there!
This is Liang Yalun, an undergraduate student at
ACM Class,
Shanghai Jiao Tong University
doing programming languages,
believing that advancements in PLT could lead to better programmers and
better programs.
About my name
In this
Chinese name,
the
family name
is
Liang.
Sometimes my name is written as “Yalun Liang”, in the usual Western
name order.
If you happen to speak Chinese, my name is
梁亚伦.
I have an alternate given name “Alan”, so “Alan Liang” is also me.
Feel free to call me by any of my names.
The pronunciation of “Liang Yalun” is somewhat like “Lee-ang Yah Loon”
to English speakers, but it is your right to say it in any way you like.
Talks
Publications
Research
I was an intern under the supervision of
Sam Lindley,
working on implementing the
stack switching proposal of WebAssembly
(also known as WasmFX) in
WebAssembly SpecTec,
a DSL for writing formal specifications of WebAssembly.
It resulted in a talk at WAW 2025 (WebAssembly workshop at POPL 2025) titled
“Experience Report: Stack Switching in Wasm SpecTec”.
Some of my contributions to SpecTec has been merged into the main WebAssembly specification
repository, and it now powers the official specification of WebAssembly 3.0.
Prior to that, I worked with
Prof. Wang Yuting
and Zhang Ling on the
CompCert verified C compiler,
proving compiler correctness while tracing stack usage in an open-module
environment.
Part of the work is incorporated into our paper,
CompCertOC: Verified Compositional Compilation of Multi-Threaded Programs with Shared Stacks,
at PLDI 2025.
As a hobby, I am now working on proving properties in an intrisically-typed setting, in the
co-de-Bruijn representation of variables
introduced by Conor McBride.
Engineering
I am a full-stack developer, leading development and operations of the
ACM Class OnlineJudge
platform, which is an autograder designed for undergraduate education.
It is used by nearly 100 courses and 9000+ users throughout the university,
has 2800+ problems available,
and 200000+ grading requests come in each year.
I was also the server administrator of acm.sjtu.edu.cn from 2022 to 2025,
which hosts the online judge platform, an open-access course wiki, homepages like this one, and
many more services.
During my high school years, I was part of
KEEER,
a group of amateur engineers making games and providing software
services.
Notable projects include a Google Forms alternative, a self-service printer
installed in our high school (programming and operations all by ourselves),
and a custom-built SSO system.
Misc
I am a (recreational) cyclist; I ride a lot around Shanghai
(map of cycling traces),
especially in rural regions of
Fengxian, Jinshan and Pudong districts, for their excellent road
conditions and their great scenery.
I am part of the Shanghai Jiao Tong University student choir and the
“Strong Interaction Chamber Singers” at Zhiyuan College, singing in
the Bass part.
My vocal range is usually from E2 to F4.
(Does anyone care about that?)
I use PGP; my key ID is
D80E1B95F4D72DC8D8D5ED13ADDA8090B1171126.
You can fetch my key from
keys.openpgp.org
or
keyserver.ubuntu.com.
Last Updated: 2025-12-27
