Publications

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

PDF Venue

(2020). Quantum Hoare Type Theory. QPL 2020.

PDF Slides Video Venue

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

DOI

(2019). Verified translation between low-level quantum languages. PLanQC 2020.

PDF Slides Video Venue

(2019). A Type System for Quantum Resources.

PDF

(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