Yalun Liang -

Registered user since Sun 24 Nov 2024

Name:Yalun Liang

Country:China

Affiliation:Shanghai Jiao Tong University

Personal website: https://acm.sjtu.edu.cn/~liangyalun/

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