Kesha Hietala

23 papers A 1B 3Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang.
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
2024 — conf
How We Built Cedar: A Verification-Guided Approach.
SIGSOFT FSE Companion
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
2024 J jnl
How We Built Cedar: A Verification-Guided Approach.
CoRR
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
2023 J jnl
A Verified Optimizer for Quantum Circuits.
ACM Trans. Program. Lang. Syst.
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2023 B conf
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.
CPP
Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
2022 J jnl
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.
CoRR
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
2022 — —
A Verified Software Toolchain for Quantum Programming.
Kesha Hietala
2022 — conf
Q# as a Quantum Algorithmic Language.
QPL
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
2022 J jnl
Verified compilation of Quantum oracles.
Proc. ACM Program. Lang.
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2021 J jnl
A verified optimizer for Quantum circuits.
Proc. ACM Program. Lang.
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2021 J jnl
Finding Substitutable Binary Code By Synthesizing Adapters.
IEEE Trans. Software Eng.
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
2021 B conf
Proving Quantum Programs Correct.
ITP
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
2021 J jnl
Verified Compilation of Quantum Oracles.
CoRR
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2020 J jnl
Proving Quantum Programs Correct.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
2019 J jnl
A Verified Optimizer for Quantum Circuits.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2019 — conf
Formal Verification vs. Quantum Uncertainty.
SNAPL
Robert Rand, Kesha Hietala, Michael Hicks
2019 J jnl
Quantitative robustness analysis of quantum programs.
Proc. ACM Program. Lang.
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2019 J jnl
Verified Optimization in a Quantum Intermediate Representation.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2018 A conf
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters.
ICST
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
2018 J jnl
Quantitative Robustness Analysis of Quantum Programs (Extended Version).
CoRR
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2018 B conf
Volume-Based Merge Heuristics for Disjunctive Numeric Domains.
SAS
Andrew Ruef, Kesha Hietala, Arlen Cox
2017 J jnl
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors.
CoRR
Vaibhav Sharma, Kesha Hietala, Stephen McCamant