130 citations · 130 across the 2 of their papers we have counts for
3 papers
quant-ph2021
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation
Yipeng Huang, Steven Holtzen, Todd Millstein +2
Due to the unreliability and limited capacity of existing quantum computer prototypes, quantum circuit simulation continues to be a vital tool for validating next generation quantu…
quant-ph2019★ 130 cited
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
Yipeng Huang, Margaret Martonosi
In support of the growing interest in quantum computing experimentation, programmers need new tools to write quantum algorithms as program code. Compared to debugging classical pro…
cs.PL2018
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Yipeng Huang, Margaret Martonosi
With the advent of small-scale prototype quantum computers, researchers can now code and run quantum algorithms that were previously proposed but not fully implemented. In support…