Publications

Mark Koch, Agustín Borgna, Craig Roy, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan (2025). Imperative Quantum Programming with Ownership and Borrowing in Guppy. PLanQC 2025.

PDF Cite Code Video Venue

Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan (2024). Guppy: Pythonic Quantum-Classical Programming. PLanQC 2024.

PDF Cite Code Video Venue

Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey (2022). Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs.

PDF Cite Poster arXiv

Kartik Singhal, Robert Rand, Matthew Amy (2022). Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs. PLanQC 2022: Poster.

PDF Poster Venue

Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand (2022). Q# as a Quantum Algorithmic Language. QPL 2022.

PDF Cite Code Project Slides Video DOI arXiv

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2021). Toward a Type-Theoretic Interpretation of Q#. PLanQC 2021.

PDF Cite Project Slides Video Venue

Sarah Marshall, Kartik Singhal, Kesha Hietala, Robert Rand (2021). Toward Formalizing the Q# Programming Language. QPL 2021: Poster.

PDF Project Poster

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey (2021). Extending Gottesman Types Beyond the Clifford Group. PLanQC 2021.

PDF Cite Video Venue

Kartik Singhal (2020). Quantum Hoare Type Theory. UChicago CS: MS Paper.

PDF Cite Project Slides Video arXiv

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey (2020). Gottesman Types for Quantum Programs. QPL 2020.

PDF Cite DOI Venue

Kartik Singhal, John Reppy (2020). Quantum Hoare Type Theory: Extended Abstract. QPL 2020.

PDF Cite Project Slides Video DOI Venue

Diana Franklin, Jennifer Palmer, Randall Landsberg, Jasmine Marckwordt, Alexandria Muller, Kartik Singhal, Jean Salac, Danielle Harlow (2020). Initial Learning Trajectories for K-12 Quantum Computing. SIGCSE 2020: Poster.

Cite DOI

Kartik Singhal (2019). Hoare Types for Quantum Programming Languages. POPL 2020 SRC.

PDF Cite Project Poster Venue

Kartik Singhal, Robert Rand, Michael Hicks (2019). Verified translation between low-level quantum languages. PLanQC 2020.

PDF Cite Code Slides Video Venue

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey (2019). A Type System for Quantum Resources.

PDF Cite

Kartik Singhal (2017). How to Reason about Correctness of Programs Designed for Non-Volatile Memory?. Brown CS: Master’s Project Report.

PDF Repository

Kartik Singhal, Maurice Herlihy, Dhruva R. Chakrabarti, Terence Kelly (2017). A Concurrent Crash-Resilient Graph Data Structure for Non-Volatile Memory. NEDB Day ‘17: Poster.

PDF Code Venue

Kartik Singhal (2013). Global Value Numbering. NIT Calicut: BTech Project Report.

PDF Slides Department