Finding Substitutable Binary Code By Synthesizing Adapters
Sharma, Vaibhav, Hietala, Kesha, McCamant, Stephen
Published in IEEE transactions on software engineering (01.08.2021)
Published in IEEE transactions on software engineering (01.08.2021)
Get full text
Journal Article
A verified optimizer for Quantum circuits
Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
Q# as a Quantum Algorithmic Language
Singhal, Kartik, Hietala, Kesha, Marshall, Sarah, Rand, Robert
Published in Electronic proceedings in theoretical computer science (16.11.2023)
Published in Electronic proceedings in theoretical computer science (16.11.2023)
Get full text
Journal Article
Quantitative robustness analysis of quantum programs
Hung, Shih-Han, Hietala, Kesha, Zhu, Shaopeng, Ying, Mingsheng, Hicks, Michael, Wu, Xiaodi
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
Verified compilation of Quantum oracles
Li, Liyi, Voichick, Finn, Hietala, Kesha, Peng, Yuxiang, Wu, Xiaodi, Hicks, Michael
Published in Proceedings of ACM on programming languages (31.10.2022)
Published in Proceedings of ACM on programming languages (31.10.2022)
Get full text
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew M.
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
How We Built Cedar: A Verification-Guided Approach
Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew
Year of Publication 01.07.2024
Year of Publication 01.07.2024
Get full text
Journal Article
Verified Compilation of Quantum Oracles
Li, Liyi, Voichick, Finn, Hietala, Kesha, Peng, Yuxiang, Wu, Xiaodi, Hicks, Michael
Published in arXiv.org (20.04.2022)
Published in arXiv.org (20.04.2022)
Get full text
Paper
Journal Article
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Peng, Yuxiang, Hietala, Kesha, Runzhou Tao, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi
Published in arXiv.org (14.04.2022)
Published in arXiv.org (14.04.2022)
Get full text
Paper
Journal Article
Proving Quantum Programs Correct
Hietala, Kesha, Rand, Robert, Shih-Han, Hung, Li, Liyi, Hicks, Michael
Published in arXiv.org (13.07.2021)
Published in arXiv.org (13.07.2021)
Get full text
Paper
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Cutler, Joseph W, Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew
Published in arXiv.org (08.03.2024)
Published in arXiv.org (08.03.2024)
Get full text
Paper
Journal Article
A Verified Optimizer for Quantum Circuits
Hietala, Kesha, Rand, Robert, Shih-Han, Hung, Wu, Xiaodi, Hicks, Michael
Published in arXiv.org (13.11.2020)
Published in arXiv.org (13.11.2020)
Get full text
Paper
Journal Article
Verified Optimization in a Quantum Intermediate Representation
Hietala, Kesha, Rand, Robert, Shih-Han, Hung, Wu, Xiaodi, Hicks, Michael
Published in arXiv.org (06.12.2019)
Published in arXiv.org (06.12.2019)
Get full text
Paper
Journal Article