publications

2026

1. OOPSLA 2026

   Synthesis of Compact and Expressive Quantum-Circuit Optimizations

   Wei Qiang, and Ronghui Gu

   In Proceedings of the ACM on Programming Languages (OOPSLA 2026), 2026
2. ASPLOS 2026

   Spoq2: Highly Automated Verification of Security Properties for Unmodified System Software

   Ganxiang Yang*, Wei Qiang*, Yi Rong*, and 4 more authors

   In Proceedings of the 31st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2026), Mar 2026

   Best Paper Honorable Mention

   *: contributed equally.

   HTML PDF

2023

1. OSDI 2023

   Spoq: Scaling Machine-Checkable Systems Verification in Coq

   Xupeng Li, Xuheng Li, Wei Qiang, and 2 more authors

   In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), Jul 2023

   PDF