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-16T00: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-20T00: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-12-05T00:00:00-08:00
https://khieta.github.io/publications/fastver-cpp23
2023-01-17T00:00:00-08:00
https://khieta.github.io/publications/shors-pnas23
2023-05-15T00: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
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/drafts/khieta-dissertation.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/drafts/khieta-undergrad-thesis.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/drafts/qstar-planqc22.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/drafts/quantum-pl-survey.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/drafts/voqc-journal-draft.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/posters/adaptor-synth-poster.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/posters/compiling-functional-languages-poster.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/posters/sqir-nisq19.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/cam-notes.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/cedar-hcss23.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/defense-slides.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/qce21-workshop.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/qstar-planqc22.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/sqir-itp21.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/voqc-planqc21.pdf
2023-05-15T13:33:40-07:00
https://khieta.github.io/files/slides/voqc-popl21.pdf
2023-05-15T13:33:40-07:00