3 papers
cs.SE2025
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…
quant-ph2025
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…
quant-ph2025
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…