1. Research
  2. Publications

Publications

Export 7 results:
Author Title [ Type(Desc)] Year
Filters: Author is Michael Hicks  [Clear All Filters]
Conference Paper
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.
Journal Article
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X., “Quantitative Robustness Analysis of Quantum Programs (Extended Version)”, Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
I. Sweet, Darais, D., Heath, D., Harris, W., Estes, R., and Hicks, M., “Symphony: Expressive Secure Multiparty Computation with Coordination”, The Art, Science, and Engineering of Programming, vol. 7, no. 3, 2023.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “Verified Optimization in a Quantum Intermediate Representation”, 2019.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “A Verified Optimizer for Quantum Circuits”, Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.