https://khieta.github.io/publications/adapter-synth-icst18 2018-05-28T00:00:00-07:00 https://khieta.github.io/publications/merge-heuristics-sas18 2018-08-29T00:00:00-07:00 https://khieta.github.io/publications/quantum-robustness-popl19 2019-01-02T00:00:00-08:00 https://khieta.github.io/publications/snapl19 2019-05-16T00:00:00-07:00 https://khieta.github.io/publications/adapter-synth-tse19 2019-07-25T00:00:00-07:00 https://khieta.github.io/publications/voqc-popl21 2021-01-04T00:00:00-08:00 https://khieta.github.io/publications/pqpc-itp21 2021-06-29T00:00:00-07:00 https://khieta.github.io/publications/lambda-qsharp-qpl22 2022-07-27T00:00:00-07:00 https://khieta.github.io/publications/vqo-oopsla22 2022-10-31T00:00:00-07:00 https://khieta.github.io/publications/fastver-cpp23 2023-01-11T00:00:00-08:00 https://khieta.github.io/publications/shors-pnas23 2023-05-15T00:00:00-07:00 https://khieta.github.io/publications/voqc-toplas23 2023-09-23T00:00:00-07:00 https://khieta.github.io/publications/cedar-oopsla24 2024-04-29T00:00:00-07:00 https://khieta.github.io/publications/cedar-fse24 2024-07-10T00:00:00-07:00 https://khieta.github.io/talks/cam-talk 2016-05-01T00:00:00-07:00 https://khieta.github.io/talks/popl2021-talk 2021-01-20T00:00:00-08:00 https://khieta.github.io/talks/planqc2021-talk 2021-06-22T00:00:00-07:00 https://khieta.github.io/talks/itp2021-talk 2021-06-30T00:00:00-07:00 https://khieta.github.io/talks/qce21-talk 2021-10-22T00:00:00-07:00 https://khieta.github.io/talks/defense 2022-05-16T00:00:00-07:00 https://khieta.github.io/talks/hcss2023-talk 2023-05-10T00:00:00-07:00 https://khieta.github.io/ https://khieta.github.io/cv/ https://khieta.github.io/publications/ https://khieta.github.io/sitemap/ https://khieta.github.io/talks/ https://khieta.github.io/files/drafts/fastver2-cpp-2023.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/drafts/khieta-dissertation.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/drafts/khieta-undergrad-thesis.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/drafts/qstar-planqc22.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/drafts/quantum-pl-survey.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/drafts/voqc-journal-draft.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/posters/adaptor-synth-poster.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/posters/compiling-functional-languages-poster.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/posters/sqir-nisq19.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/cam-notes.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/cedar-hcss23.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/defense-slides.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/qce21-workshop.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/qstar-planqc22.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/sqir-itp21.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/voqc-planqc21.pdf 2024-09-24T10:31:38-07:00 https://khieta.github.io/files/slides/voqc-popl21.pdf 2024-09-24T10:31:38-07:00