All Stories

  1. SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries

    Article • September 2024, ACM (Association for Computing Machinery)

    Zhehao Zhao

  2. Towards Robustness of Deep Program Processing Models—Detection, Estimation, and Enhancement

    Article • ACM Transactions on Software Engineering and Methodology, July 2022, ACM (Association for Computing Machinery)

    Zhi Jin, Zhehao Zhao