Robert Rand

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)

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)

Rand, R. . (2019). Verification Logics for Quantum Programs. ArXiv. Retrieved from https://arxiv.org/abs/1904.04304 (Original work published April 2019)

Rand, R. ., Paykin, J. ., Lee, D.-H. ., & Zdancewic, S. . (2019). ReQWIRE: Reasoning about Reversible Quantum Circuits. EPTCS, 287. http://doi.org/10.4204/EPTCS.287.17 (Original work published January 2019)