5 papers
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…
An experience-based classification of quantum bugs in quantum software
Nils Quetschlich, Olivia Di Matteo
As quantum computers continue to improve in quality and scale, there is a growing need for accessible software frameworks for programming them. However, the unique behavior of quan…
Non-Abelian dynamics on a cube: improving quantum compilation through qudit-based simulations
Jacky Jiang, Natalie Klco, Olivia Di Matteo
Recent developments in mapping lattice gauge theories relevant to the Standard Model onto digital quantum computers identify scalable paths with well-defined quantum compilation ch…
Productive Quantum Programming Needs Better Abstract Machines
Santiago Núñez-Corrales, Olivia Di Matteo, John Dumbell +4
An effective, accessible abstraction hierarchy has made using and programming computers possible for people across all disciplines. Establishing such a hierarchy for quantum progra…
Graph-based identification of qubit network (GidNET) for qubit reuse
Gideon Uchehara, Tor M. Aamodt, Olivia Di Matteo
Quantum computing introduces the challenge of optimizing quantum resources crucial for executing algorithms within the limited qubit availability of current quantum architectures.…