11 citations · 20 across the 5 of their papers we have counts for
6 papers
Retromorphic Testing of Quantum Compiler Passes
Mushahid Khan, Olivia Di Matteo
Quantum compilers play a critical role in transforming high-level quantum programs into optimized, hardware-compatible circuits. However, verifying the correctness of compiler pass…
CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging
Mushahid Khan, Prashant J. Nair, Olivia Di Matteo
Software bugs typically result from errors in specifications or code translation. While classical software engineering has evolved with various tools and methodologies to tackle su…
Comparing Algorithms for Loading Classical Datasets into Quantum Memory
Andriy Miranskyy, Mushahid Khan, Udson Mendes
Quantum computers are gaining importance in various applications like quantum machine learning and quantum signal processing. These applications face significant challenges in load…
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye +1
Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. Howeve…
EP-PQM: Efficient Parametric Probabilistic Quantum Memory with Fewer Qubits and Gates
Mushahid Khan, Jean Paul Latyr Faye, Udson C. Mendes +1
Machine learning (ML) classification tasks can be carried out on a quantum computer (QC) using Probabilistic Quantum Memory (PQM) and its extension, Parameteric PQM (P-PQM) by calc…
String Comparison on a Quantum Computer Using Hamming Distance
Mushahid Khan, Andriy Miranskyy
The Hamming distance is ubiquitous in computing. Its computation gets expensive when one needs to compare a string against many strings. Quantum computers (QCs) may speed up the co…