Concepedia

Kesha Hietala

KH

7

Publications

210

Citations

7

H-Index

2019

Active since

Affiliations

University of Maryland, College Park(Current)

University of Chicago

Amazon (United States)

Kesha Hietala is an author at University of Maryland, College Park specializing in quantum error correction, quantum science, and engineering.

Top concepts

EngineeringFormal MethodsQuantum ScienceComputer ScienceQuantum ComputingQuantum EntanglementQuantum Error CorrectionPhysicsQuantum DevicesNatural Sciences

Publications per year

2019–2024

7

Publications

7

A verified optimizer for Quantum circuits

Kesha Hietala, Robert W. Rand, Shih-Han Hung et al. · Proceedings of the ACM on Programming Languages · 2021 · 101 citations · Full text

Engineering, Quantum Programming Languages, Quantum Computing +16

Quantitative robustness analysis of quantum programs

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu et al. · 2019 · 39 citations

Quantum Science, Engineering, Quantum Computing +12

Proving Quantum Programs Correct

Kesha Hietala, Robert W. Rand, Shih-Han Hung et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 19 citations · Full text

A formally certified end-to-end implementation of Shor’s factorization algorithm

Yuxiang Peng, Kesha Hietala, Runzhou Tao et al. · Proceedings of the National Academy of Sciences · 2023 · 16 citations · Full text

Verified compilation of Quantum oracles

Liyi Li, Finn Voichick, Kesha Hietala et al. · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text

Rows per page

1–5 of 7