All Stories

  1. RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V

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

    Xiaodi Wu

  2. A formally certified end-to-end implementation of Shor’s factorization algorithm

    Article • Proceedings of the National Academy of Sciences, May 2023, Proceedings of the National Academy of Sciences

    Xiaodi Wu