111 citations · 179 across the 9 of their papers we have counts for
6 papers · 1 filter
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline +12
Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can wr…
Q# as a Quantum Algorithmic Language
Kartik Singhal, Kesha Hietala, Sarah Marshall +1
Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal sp…
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Yuxiang Peng, Kesha Hietala, Runzhou Tao +4
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level…
Proving Quantum Programs Correct
Kesha Hietala, Robert Rand, Shih-Han Hung +2
As quantum computing progresses steadily from theory into practice, programmers will face a common problem: How can they be sure that their code does what they intend it to do? Thi…
A Verified Optimizer for Quantum Circuits
Kesha Hietala, Robert Rand, Shih-Han Hung +2
We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in a simple, low-level l…
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu +3
Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing w…