Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yalun Liang
conf.researchr.org general profile
PLDI 2025 profile
POPL 2025 profile
Registered user since Sun 24 Nov 2024
Name:
Yalun Liang
Country:
China
Affiliation:
Shanghai Jiao Tong University
Contributions
2025
PLDI
Author of CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks within the PLDI Research Papers-track
WAW
Author of Experience Report: Stack Switching in Wasm SpecTec within the WAW-track
Share
x
Wed 21 May 15:39
