1. Research
  2. Publications

Publications

Export 3 results:
Author [ Title(Desc)] Type Year
Filters: Author is Liyi Li  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
K. Hietala, Li, L., Gaur, A., Green, A., Rand, R., Wu, X., and Hicks, M., “Expanding the VOQC Toolkit”, in The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021.
P
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
V
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.