SV-sim: scalable PGAS-based state vector simulation of quantum circuits.
Proceedings of the International Conference for High Performance Computing, 2021
A Resource Estimation and Verification Workflow in Q# Special session paper.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Operational, gauge-free quantum tomography.
Quantum, 2020
Learning models of quantum systems from experiments.
CoRR, 2020
Introduction to Quantum Computing.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2019
Proceedings of the 14th Conference on the Theory of Quantum Computation, 2019
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.
CoRR, 2018
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.
Proceedings of the Real World Domain Specific Languages Workshop, 2018
Characterization, Verification and Control for Large Quantum Systems.
PhD thesis, 2015
Quantum Inspired Training for Boltzmann Machines.
CoRR, 2015
Bayesian inference via rejection filtering.
CoRR, 2015
How to best sample a periodic probability distribution, or on the accuracy of Hamiltonian finding strategies.
Quantum Inf. Process., 2013
Robust Online Hamiltonian Learning.
Proceedings of the 8th Conference on the Theory of Quantum Computation, 2013