Kartik Singhal

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Quantum Computing

Java Programming

Extended Abstract

Static Analysis

Top Venues

Publications

Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
Q# as a Quantum Algorithmic Language. CoRR (2022)
Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
Static Analysis of Quantum Programs via Gottesman Types. CoRR (2021)
Kartik Singhal
Quantum Hoare Type Theory. CoRR (2020)
Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
Gottesman Types for Quantum Programs. QPL (2020)
Diana Franklin, Jennifer Palmer, Randall Landsberg, Jasmine Marckwordt, Alexandria Muller, Kartik Singhal, Jean Salac, Danielle Harlow
Initial Learning Trajectories for K-12 Quantum Computing. SIGCSE (2020)
Kartik Singhal, John Reppy
Quantum Hoare Type Theory: Extended Abstract. QPL (2020)