22 citations · 27 across the 5 of their papers we have counts for
5 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…
Quantum Regularized Least Squares
Shantanav Chakraborty, Aditya Morolia, Anurudh Peduri
Linear regression is a widely used technique to fit linear models and finds widespread applications across different areas such as machine learning and statistics. In most real-wor…
QSSA: An SSA-based IR for Quantum Computing
Anurudh Peduri, Siddharth Bhat
Quantum computing hardware has progressed rapidly. Simultaneously, there has been a proliferation of programming languages and program optimization tools for quantum computing. Exi…