111 citations · 280 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 19 cited
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…
cs.PL2020★ 11 cited
On the Principles of Differentiable Quantum Programming Languages
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti +1
Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of the…