{"id":"arxiv/2610.22275","url":"https://arxiv.org/abs/2610.22275","tags":["quant-ph","cs.ET"],"score":0,"title":"SynDebug: A Framework to Debug Logic Bugs in Fault-Tolerant Quantum Computing Programs","domain":"quant-ph","source":"arxiv","authors":["Nicholas S. DiBrita","Jack Lange","Tirthak Patel"],"reviews":0,"subject":"quant-ph","summary":"Fault-tolerant quantum computing (FTQC) introduces substantial systems-level complexity through quantum error correction (QEC), making debugging FTQC programs challenging. Existing quantum debugging approaches primarily target logical-level circuits and do not naturally support debugging within realistic FTQC execution flows. We present SynDebug, the first systems-level debugging framework for FTQC programs. SynDebug introduces lightweight assertion-based debugging primitives that operate directly within encoded FTQC infrastructures while avoiding additional logical surface area and…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-15","reactions":{}}