Kesha Hietala

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 22

Top Topics

Quantum Computing

Reverse Engineer

Formal Verification

Provably Correct

Top Venues

Proc. ACM Program. Lang.

Publications

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
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
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
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
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
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
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
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. CPP (2023)
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
Verified compilation of Quantum oracles. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. CoRR (2022)
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
Q# as a Quantum Algorithmic Language. CoRR (2022)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. ITP (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A verified optimizer for Quantum circuits. Proc. ACM Program. Lang. 5 (POPL) (2021)
Liyi Li, Finnegan Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
Verified Compilation of Quantum Oracles. CoRR (2021)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Substitutable Binary Code By Synthesizing Adapters. IEEE Trans. Software Eng. 47 (8) (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. CoRR (2020)
Robert Rand, Kesha Hietala, Michael Hicks
Formal Verification vs. Quantum Uncertainty. SNAPL (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Verified Optimization in a Quantum Intermediate Representation. CoRR (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. CoRR (2019)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative Robustness Analysis of Quantum Programs (Extended Version). CoRR (2018)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. ICST (2018)
Andrew Ruef, Kesha Hietala, Arlen Cox
Volume-Based Merge Heuristics for Disjunctive Numeric Domains. SAS (2018)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors. CoRR (2017)