Sotabase

Career

· Applied Scientist in Automated Reasoning, Amazon AWS2022–
· PhD in Computer Science, University of Maryland2020–
· Undergraduate in Computer Science, University of Minnesota2016–

Publications (20)

A verified optimizer for Quantum circuits
Proc. ACM Program. Lang. · 2019
137
cited
Quantitative robustness analysis of quantum programs
Proc. ACM Program. Lang. · 2018
55
cited
Proving Quantum Programs Correct
International Conference on Interactive Theorem Proving · 2020
44
cited
Verified Optimization in a Quantum Intermediate Representation
arXiv.org · 2019
22
cited
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Proc. ACM Program. Lang. · 2024
21
cited
A formally certified end-to-end implementation of Shor’s factorization algorithm
Proceedings of the National Academy of Sciences of the United States of America · 2022
17
cited
Verified compilation of Quantum oracles
Proc. ACM Program. Lang. · 2021
17
cited
Q# as a Quantum Algorithmic Language
QPL · 2022
16
cited
Formal Verification vs. Quantum Uncertainty
Summit on Advances in Programming Languages · 2019
11
cited
Finding Substitutable Binary Code By Synthesizing Adapters
IEEE Transactions on Software Engineering · 2017
7
cited
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
Certified Programs and Proofs · 2023
6
cited
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters
International Conference on Information Control Systems & Technologies · 2018
6
cited
How We Built Cedar: A Verification-Guided Approach
SIGSOFT FSE Companion · 2024
6
cited
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors
arXiv.org · 2017
2
cited
Tracking Errors through Types in Quantum Programs
2019
2
cited
Detecting Behaviorally Equivalent Functions via Symbolic Execution
2016
1
cited
Volume-Based Merge Heuristics for Disjunctive Numeric Domains
Sensors Applications Symposium · 2018
1
cited
A COMPARISON OF APPROACHES TO COMPILING FUNCTIONAL PROGRAMMING LANGUAGES
2015
A Verified Software Toolchain for Quantum Programming
2022
Quantum Programming Languages
2017
Sotabase
Kesha Hietala | Researcher Profile | Sotabase | Sotabase