Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation (to appear)

Jihee Park, Insu Yun, Sukyoung Ryu
October 2025
Publication
Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2025