4 papers
Reasoning from Traces: Divergence-Guided Agentic Repair of WebAssembly Discrepancies
Liyan Huang, Kaicheng Wang, Weihang Wang
WebAssembly (Wasm) promises seamless reuse of C/C++ codebases as portable, fast, sandboxed binaries. In practice, however, this promise often falls short: recent studies show that…
CLARC: C/C++ Benchmark for Robust Code Search
Kaicheng Wang, Liyan Huang, Weike Fang +1
Efficient code retrieval is critical for developer productivity, yet existing benchmarks largely focus on Python and rarely stress-test robustness beyond superficial lexical cues.…
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation
Sara Baradaran, Liyan Huang, Mukund Raghothaman +1
WebAssembly (Wasm) has emerged as a powerful technology for executing high-performance code and reusing legacy code in web browsers. With its increasing adoption, ensuring the reli…
Is This the Same Code? A Comprehensive Study of Decompilation Techniques for WebAssembly Binaries
Wei-Cheng Wu, Yutian Yan, Hallgrimur David Egilsson +4
WebAssembly is a low-level bytecode language designed for client-side execution in web browsers. The need for decompilation techniques that recover high-level source code from WASM…