Search Results for author:
Found 5 papers, 3 papers with code
Proving Quantum Programs Correct
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?
Programming Languages Quantum Physics
A Verified Optimizer for Quantum Circuits
Optimizations and other transformations are expressed as Coq functions, which are proved correct with respect to a semantics of SQIR programs.
Programming Languages Emerging Technologies Logic in Computer Science Quantum Physics
Verified Optimization in a Quantum Intermediate Representation
We present sqire, a low-level language for quantum computing and verification.
Logic in Computer Science Emerging Technologies Programming Languages Quantum Physics
Evaluating Fuzz Testing
Our results showed that the general problems we found in existing experimental evaluations can indeed translate to actual wrong or misleading assessments.
Cryptography and Security
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning
Governments and businesses increasingly rely on data analytics and machine learning (ML) for improving their competitive edge in areas such as consumer satisfaction, threat intelligence, decision making, and product efficiency.
