Publications

(2024). Integrating Dependency Building with Document Checking in Coq. The Tenth International Workshop on Coq for Programming Languages (CoqPL 2024).

PDF

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

PDF Poster

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

PDF Poster

(2022). Q# as a Quantum Algorithmic Language. 19th International Conference on Quantum Physics and Logic 2022.

Cite URL

(2022). A Rich Type System for Quantum Programs. Quantum Information Processing (QIP 2022) Poster.

Poster

(2021). Toward a Type-Theoretic Interpretation of Q#. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

(2021). Extending Gottesman Types Beyond the Clifford Group. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

(2021). Expanding the VOQC Toolkit. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

(2021). Toward Formalizing the Q# Programming Language. International Conference on Quantum Physics and Logic (QPL 2021) Poster.

PDF Poster

(2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021).

Cite DOI URL

(2020). Formal Verification of Gottesman Semantics. International Conference on Quantum Physics and Logic (QPL 2021) Poster.

PDF Poster