Kesha Hietala

Orcid: 0000-0002-2724-0974

According to our database1, Kesha Hietala authored at least 16 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Verified Optimizer for Quantum Circuits.
ACM Trans. Program. Lang. Syst., September, 2023

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022
A Verified Software Toolchain for Quantum Programming.
PhD thesis, 2022

Verified compilation of Quantum oracles.
Proc. ACM Program. Lang., 2022

Q# as a Quantum Algorithmic Language.
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.
CoRR, 2022

2021
Finding Substitutable Binary Code By Synthesizing Adapters.
IEEE Trans. Software Eng., 2021

A verified optimizer for Quantum circuits.
Proc. ACM Program. Lang., 2021

Proving Quantum Programs Correct.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019
Quantitative robustness analysis of quantum programs.
Proc. ACM Program. Lang., 2019

Verified Optimization in a Quantum Intermediate Representation.
CoRR, 2019

Formal Verification vs. Quantum Uncertainty.
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018
Quantitative Robustness Analysis of Quantum Programs (Extended Version).
CoRR, 2018

Volume-Based Merge Heuristics for Disjunctive Numeric Domains.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors.
CoRR, 2017


  Loading...