| Q# as a Quantum Algorithmic Language K Singhal, K Hietala, S Marshall, R Rand Quantum Physics and Logic (QPL) 2022 394, 170--191, 2023 | 16 | 2023 |
| Quantum Hoare Type Theory: Extended Abstract K Singhal, J Reppy Quantum Physics and Logic (QPL) 2020 340, 291--302, 2021 | 16* | 2021 |
| Gottesman Types for Quantum Programs R Rand, A Sundaram, K Singhal, B Lackey Quantum Physics and Logic (QPL) 2020 340, 279--290, 2021 | 7 | 2021 |
| Initial Learning Trajectories for K-12 Quantum Computing D Franklin, J Palmer, R Landsberg, J Marckwordt, A Muller, K Singhal, ... Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 6 | 2020 |
| Verified translation between low-level quantum languages K Singhal, R Rand, M Hicks Programming Languages for Quantum Computing (PLanQC) 2020, 2019 | 6 | 2019 |
| A Rich Type System for Quantum Programs A Sundaram, R Rand, K Singhal, B Lackey arXiv preprint arXiv:2101.08939, 2022 | 4* | 2022 |
| Extending Gottesman Types Beyond the Clifford Group R Rand, A Sundaram, K Singhal, B Lackey Programming Languages for Quantum Computing (PLanQC) 2021, 2021 | 3 | 2021 |
| Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs K Singhal, R Rand, M Amy Programming Languages for Quantum Computing (PLanQC) 2022 Poster Abstract, 2022 | 2 | 2022 |
| Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs A Sundaram, R Rand, K Singhal, B Lackey arXiv preprint arXiv:2101.08939, 2022 | 1 | 2022 |
| Hoare Types for Quantum Programming Languages (Quantum Hoare Types) K Singhal POPL 2020 Student Research Competition, 2019 | 1* | 2019 |
| A Type System for Quantum Resources R Rand, A Sundaram, K Singhal, B Lackey Draft, 2019 | 1 | 2019 |
| Guppy: Pythonic Quantum-Classical Programming M Koch, A Lawrence, K Singhal, S Sivarajah, D Ross Programming Languages for Quantum Computing (PLanQC) 2024, 2024 | | 2024 |
| The Essence of Q#: Toward Safe and Certified Quantum Programs (Thesis Proposal) K Singhal | | 2022 |
| Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem K Singhal, S Marshall, K Hietala, R Rand Programming Languages for Quantum Computing (PLanQC) 2021, 2021 | | 2021 |
| Toward Formalizing the Q# Programming Language S Marshall, K Singhal, K Hietala, R Rand Quantum Physics and Logic (QPL) 2021 Poster abstract, 2021 | | 2021 |
| How to Reason about Correctness of Programs Designed for Non-Volatile Memory? K Singhal Brown University, 2017 | | 2017 |
Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu
