Q# as a Quantum Algorithmic Language K Singhal, K Hietala, S Marshall, R Rand Quantum Physics and Logic (QPL) 2022 394, 170--191, 2023 | 20 | 2023 |
Quantum Hoare Type Theory: Extended Abstract K Singhal, J Reppy Quantum Physics and Logic (QPL) 2020 340, 291--302, 2021 | 15* | 2021 |
Gottesman Types for Quantum Programs R Rand, A Sundaram, K Singhal, B Lackey Quantum Physics and Logic (QPL) 2020 340, 279--290, 2021 | 8 | 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 | 4 | 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 | 3 | 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 |
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 | 1* | 2021 |
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 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 |