1. Research
  2. Publications

Publications

Export 7 results:
Author Title Type [ Year(Desc)]
Filters: Author is Michael Hicks  [Clear All Filters]
2018
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.
2019
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “Verified Optimization in a Quantum Intermediate Representation”, 2019.
2021
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.
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.
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., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
2023
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.