Publications

(2022). Q# as a Quantum Algorithmic Language. QPL 2022.

PDF Cite Code Project Slides Video arXiv

(2022). A Rich Type System for Quantum Programs.

PDF Cite Poster arXiv

(2021). Toward a Type-Theoretic Interpretation of Q#. PLanQC 2021.

PDF Cite Project Slides Video Venue

(2021). Toward Formalizing the Q# Programming Language. QPL 2021: Poster.

PDF Project Poster

(2021). Extending Gottesman Types Beyond the Clifford Group. PLanQC 2021.

PDF Cite Video Venue

(2020). Gottesman Types for Quantum Programs. QPL 2020.

PDF Cite DOI Venue

(2020). Initial Learning Trajectories for K-12 Quantum Computing. SIGCSE 2020: Poster.

Cite DOI

(2019). A Type System for Quantum Resources.

PDF Cite

(2017). A Concurrent Crash-Resilient Graph Data Structure for Non-Volatile Memory. NEDB Day ‘17: Poster.

PDF Code Venue

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

PDF Slides Department