1. Research
  2. Publications

Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: Author is Yuxiang Peng  [Clear All Filters]
Journal Article
Y. Peng, Ying, M., and Wu, X., “Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra”, 2021.
Y. Peng, Young, J., Liu, P., and Wu, X., “SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation”, 2023.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.