Publications

Emilio Jesús Gallego Arias, Bhakti Shah (2024). Integrating Dependency Building with Document Checking in Coq. The Tenth International Workshop on Coq for Programming Languages (CoqPL 2024).

PDF

Bhakti Shah (2024). A Lean Formalization of Cedar. Principles of Programming Languages (POPL 2024): Student Research Competition Poster.

PDF Poster

Bhakti Shah (2023). Visualizing Graphical Proofs in Coq. International Conference on Functional Programming (ICFP 2023): Student Research Competition Poster.

PDF Poster

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2022). Q# as a Quantum Algorithmic Language. 19th International Conference on Quantum Physics and Logic 2022.

Cite URL

Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey (2022). A Rich Type System for Quantum Programs.

Cite arXiv

Adrian Lehmann, Ben Caldwell, Robert Rand (2022). VyZX: A Vision for Verifying the ZX Calculus.

Cite DOI arXiv URL

Finn Voichick, Robert Rand, Michael Hicks (2022). Qunity: A Unified Language for Quantum and Classical Computing.

Cite DOI arXiv URL

Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand (2022). MCBeth: A Measurement Based Quantum Programming Language.

Cite DOI arXiv URL

Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey (2022). A Rich Type System for Quantum Programs. Quantum Information Processing (QIP 2022) Poster.

Poster

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2021). Toward a Type-Theoretic Interpretation of Q#. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey (2021). Extending Gottesman Types Beyond the Clifford Group. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

Kesha Hietala, Liyi Li, Akshaj Gaur, Aaron Green, Robert Rand, Xiaodi Wu, Michael Hicks (2021). Expanding the VOQC Toolkit. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

Sarah Marshall, Kartik Singhal, Kesha Hietala, Robert Rand (2021). Toward Formalizing the Q# Programming Language. International Conference on Quantum Physics and Logic (QPL 2021) Poster.

PDF Poster

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks (2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021).

Cite DOI URL

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks (2021). A Verified Optimizer for Quantum Circuits. Proceedings of the ACM on Programming Languages.

Cite DOI arXiv URL

Jacob Zweifler, Robert Rand (2020). Formal Verification of Gottesman Semantics. International Conference on Quantum Physics and Logic (QPL 2021) Poster.

PDF Poster