Papers by Xiaoao Zhu
Lifting Optimized Binaries to Canonical Compiler IR via Structure-Aware Retrieval and Iterative Verification (2026.acl-long)
Copied to clipboard
| Challenge: | Existing methods for decompiling binary code are brittle due to compiler optimizations that distort control-flow and data-flow structure. |
| Approach: | They propose a system that lifts optimized binaries to canonical compiler intermediate representation (IR) BRIDGE uses control-flow-aware retrieval-augmented generation with feedback-driven verification . |
| Outcome: | The proposed system outperforms seven baselines on humanEval-Decompile and MBPP, lifting x86-64 and ARM64 binaries to LLVM IR. |