• Sign in
  • Sign up
conf.researchr.org / Yalun Liang
  • PLDI 2025 profile
  • POPL 2025 profile
Yalun Liang

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
xWed 21 May 15:39
using conf.researchr.org (v1.69.0)
Support page
Sign Up