DrWASI: LLM-assisted Differential Testing for WebAssembly System Interface Implementations. - Yixuan Zhang; Ningyu He; Jianting Gao; Shangtong Cao; Kaibo Liu; Haoyu Wang 001; Yun Ma 002; Gang Huang 001; Xuanzhe Liu (ACM Trans. Softw. Eng. Methodol., 2026)