Michael
Hicks
Zhou, J., Criswell, J., & Hicks, M. (2023). Fat Pointers for Temporal Memory Safety of C. Proceedings of the ACM on Programming Languages, 7, 316–347. http://doi.org/10.1145/3586038 (Original work published March 2023)
Sweet, I., Darais, D., Heath, D., Harris, W., Estes, R., & Hicks, M. (2023). Symphony: Expressive Secure Multiparty Computation with Coordination. The Art, Science, and Engineering of Programming, 7. http://doi.org/10.22152/programming-journal.org/2023/7/14 (Original work published February 2023)
Voichick, F., Li, L., Rand, R., & Hicks, M. (2022). Qunity: A Unified Language for Quantum and Classical Computing (Type Checker). Proceedings of the ACM on Programming Languages. http://doi.org/10.5281/ZENODO.7382711 (Original work published January 2023)
Li, L., Voichick, F., Hietala, K., Peng, Y., Wu, X., & Hicks, M. (2021). Verified Compilation of Quantum Oracles. ArXiv. Retrieved from https://arxiv.org/abs/2112.06700 (Original work published December 2021)
Hietala, K., Rand, R., Hung, S.-H., Li, L., & Hicks, M. (2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 21:1–21:19. http://doi.org/10.4230/LIPIcs.ITP.2021.21 (Original work published June 2021)
Hietala, K., Li, L., Gaur, A., Green, A., Rand, R., Wu, X., & Hicks, M. (2021). Expanding the VOQC Toolkit. In The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Retrieved from http://rand.cs.uchicago.edu/files/planqc_2021c.pdf (Original work published June 2021)
Hietala, K., Rand, R., Hung, S.-H., Wu, X., & Hicks, M. (2021). A Verified Optimizer for Quantum Circuits. Proceedings of the ACM on Programming Languages, 5. http://doi.org/10.1145/3434318 (Original work published January 2021)
Hietala, K., Rand, R., Hung, S.-H., Wu, X., & Hicks, M. (2019). Verified Optimization in a Quantum Intermediate Representation. ArXiv. Retrieved from https://arxiv.org/abs/1904.06319 (Original work published April 2019)
Hung, S.-H., Hietala, K., Zhu, S., Ying, M., Hicks, M., & Wu, X. (2018). Quantitative Robustness Analysis of Quantum Programs (Extended Version). Proc. ACM Program. Lang., 3, Article 31. http://doi.org/10.1145/3290344 (Original work published December 2018)