4 citations · 4 across the 2 of their papers we have counts for
3 papers
Traq: Estimating the Quantum Cost of Classical Programs
Anurudh Peduri, Jam Kabeer Ali Khan, Gilles Barthe +1
Predicting practical speedups offered by future quantum computers has become a major focus of the quantum community. Typically, such predictions involve numerical simulations suppo…
Expressing and Analyzing Quantum Algorithms with Qualtran
Matthew P. Harrigan, Tanuj Khattar, Charles Yuan +5
Quantum computing's transition from theory to reality has spurred the need for novel software tools to manage the increasing complexity, sophistication, toil, and fallibility of qu…
QbC: Quantum Correctness by Construction
Anurudh Peduri, Ina Schaefer, Michael Walter
Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of quantum programs has become a major concern. Pioneering research over the past years has p…