Weilong Li, Ruizhi Xiao, Yabo Wang, Jiakun Sun, Yuqing Shao, Shuyuan Jin: LuaReSym: Recovering Variable Liveness Ranges in Stripped Lua Bytecode via Multi-Stage Static Analysis. ICPC 2026: 97-109