Publications

(2019). Hoare Types for Quantum Programming Languages. POPL 2020 SRC Extended Abstract.

PDF Venue

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

PDF 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