All Stories

  1. Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study

    Article • October 2026, ACM (Association for Computing Machinery)

    Zhuohua Li

  2. Can AI Write Rust Programs That Can Be Formally Verified?

    Article • October 2026, ACM (Association for Computing Machinery)

    Zhuohua Li, Lianhe Hu

  3. Leveraging the Power of Conversations: Optimal Key Term Selection in Conversational Contextual Bandits

    Article • August 2025, ACM (Association for Computing Machinery)

    Maoli LIU, Xiangxiang Dai, Zhuohua Li

  4. Towards Efficient Conversational Recommendations: Expected Value of Information Meets Bandit Learning

    Article • April 2025, ACM (Association for Computing Machinery)

    Zhuohua Li, Xiangxiang Dai, Maoli LIU

  5. Zigbee’s Network Rejoin Procedure for IoT Systems: Vulnerabilities and Implications

    Article • October 2022, ACM (Association for Computing Machinery)

    Zhuohua Li

  6. MirChecker: Detecting Bugs in Rust Programs via Static Analysis

    Article • November 2021, ACM (Association for Computing Machinery)

    Zhuohua Li

  7. Securing the Device Drivers of Your Embedded Systems

    Article • August 2019, ACM (Association for Computing Machinery)

    Zhuohua Li