Search Results for author: Michael Hicks

Found 5 papers, 3 papers with code

Proving Quantum Programs Correct

2 code implementations3 Oct 2020 Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

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

3 code implementations4 Dec 2019 Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

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

1 code implementation12 Apr 2019 Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

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

no code implementations29 Aug 2018 George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks

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

no code implementations17 Jan 2017 Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael Hicks, Tudor Dumitraş

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.

BIG-bench Machine Learning Decision Making

Cannot find the paper you are looking for? You can Submit a new open access paper.