-
From ๐ด๐๐๐๐๐ to ๐ป๐๐๐๐ ! It was a pleasure to be at | LinkedIn
From ๐ด๐๐๐๐๐ to ๐ป๐๐๐๐ ! It was a pleasure to be at ASE to present our work on theย ๐ง๐ฐ๐ถ๐ฏ๐ฅ๐ข๐ต๐ช๐ฐ๐ฏ๐ด ๐ฐ๐ง ๐ต๐ฆ๐ด๐ต๐ข๐ฃ๐ช๐ญ๐ช๐ต๐บ ๐ง๐ฐ๐ณ ๐ฒ๐ถ๐ข๐ฏ๐ต๐ถ๐ฎ ๐ด๐ฐ๐ง๐ต๐ธ๐ข๐ณ๐ฆ. Among the many interesting discussions about how AI is reshaping Software Engineering (SE), one recurring idea stood out: as generating code becomes easier and faster, the ๐๐๐๐ ๐๐๐ ๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ ๐๐๐๐๐ becomes even more important. This resonates with a question that has been central to my own research on quantum software. As systems become more complex, ๐ฉ๐ฐ๐ธ ๐ค๐ข๐ฏ ๐ธ๐ฆ ๐ฆ๐ฏ๐ด๐ถ๐ณ๐ฆ ๐ต๐ฉ๐ข๐ต ๐ธ๐ฆ ๐ค๐ข๐ฏ ๐ด๐ต๐ช๐ญ๐ญ ๐ถ๐ฏ๐ฅ๐ฆ๐ณ๐ด๐ต๐ข๐ฏ๐ฅ, ๐ต๐ฆ๐ด๐ต, ๐ข๐ฏ๐ฅ ๐ท๐ข๐ญ๐ช๐ฅ๐ข๐ต๐ฆ ๐ต๐ฉ๐ฆ๐ช๐ณ ๐ฃ๐ฆ๐ฉ๐ข๐ท๐ช๐ฐ๐ถ๐ณ? Perhaps there is a useful lesson to draw from the current challenges of AI-assisted software development. ๐ฝ๐๐๐๐ ๐๐๐๐๐ ๐๐๐๐๐๐ ๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐ ๐๐ ๐๐ ๐ ๐๐๐๐ ๐๐๐๐ ๐๐๐๐๐ ๐ ๐๐๐๐๐๐ ๐๐๐ ๐๐๐๐ ๐๐๐๐๐๐๐ .ย Testability needs to be considered from the outset, as part of how we design and build software. Quantum software brings its own challenges, and the field is still evolving. This makes it an interesting time to think about validation before complexity makes it even harder. Can we ๐ข๐ฏ๐ต๐ช๐ค๐ช๐ฑ๐ข๐ต๐ฆ ๐ด๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ๐ด๐ฆ ๐ค๐ฉ๐ข๐ญ๐ญ๐ฆ๐ฏ๐จ๐ฆ๐ด, rather than having to catch up with them later? Iโm writing this from Tokyo, where tomorrow marks the beginning of the next four months of research at the ๐ต๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐๐ ๐๐ ๐ฐ๐๐๐๐๐๐๐๐๐๐ (NII). A new research environment, new questions, and hopefully some time to explore these ideas further while finalising my thesis. ๐ Paper:ย https://lnkd.in/eZaHuuVy ๐ Website:ย https://lnkd.in/eh4_FZPx
-
Quantum Software Testability Formalized | Avner Bensoussan posted on the topic | LinkedIn
๐ Excited to share that our paperย ๐ธ๐๐๐๐๐๐ ๐บ๐๐๐๐๐๐๐๐๐๐: ๐ฐ๐๐๐๐๐๐๐๐๐๐-๐ป๐๐๐๐๐๐๐๐ ๐ญ๐๐๐๐ ๐๐๐๐๐๐ ๐๐ ๐ธ๐๐๐๐๐๐ ๐บ๐๐๐๐๐๐๐ ๐ป๐๐๐๐๐๐๐๐๐๐ย received aย ๐ฌ๐ญ๐ซ๐๐ข๐ ๐ก๐ญ ๐๐๐๐๐ฉ๐ญ๐๐ง๐๐ ๐๐ญ ๐๐๐ 2026! Software testability has been a foundational concept in software engineering for decades, shaping how we reason about fault detection, debugging, and software quality. Yet, despite rapid advances in quantum computing, there has been no formal notion ofย testabilityย for quantum software. In this work, we take a first step toward closing that gap by introducing theย ๐๐ข๐ซ๐ฌ๐ญ ๐๐จ๐ซ๐ฆ๐๐ฅ๐ข๐ฌ๐๐ญ๐ข๐จ๐ง ๐จ๐ ๐ช๐ฎ๐๐ง๐ญ๐ฎ๐ฆ ๐ฌ๐จ๐๐ญ๐ฐ๐๐ซ๐ ๐ญ๐๐ฌ๐ญ๐๐๐ข๐ฅ๐ข๐ญ๐ฒ. Building on classical software engineering and quantum information theory, we defineย ๐ธ๐๐๐๐๐๐ ๐บ๐๐๐๐๐๐๐๐๐๐โan information-theoretic measure that captures how much information about a fault is lost as it propagates through a quantum program. The key idea is simple: if faults are masked before they reach observable outcomes, the software becomes harder to test. Quantum Squeeziness quantifies this phenomenon, providing a rigorous foundation for reasoning about fault propagation, observability, and test effectiveness in quantum systems. Across 50,000+ mutants, we show that higher squeeziness strongly predicts lower fault detectability, while our optimizedย ๐ญ๐๐๐๐บ๐๐๐๐๐๐๐๐๐๐ย technique achieves a 16.9ร speedup with 95% accuracy. Beyond testing and debugging, we believe this opens new research directions at the intersection ofย software engineering, quantum information theory, and quantum reliability, with potential applications in ๐๐ซ๐ซ๐จ๐ซ ๐ฆ๐ข๐ญ๐ข๐ ๐๐ญ๐ข๐จ๐ง, ๐๐๐ฎ๐ฅ๐ญ ๐ญ๐จ๐ฅ๐๐ซ๐๐ง๐๐, ๐๐ง๐ ๐๐๐ฌ๐ข๐ ๐ง-๐๐จ๐ซ-๐ญ๐๐ฌ๐ญ๐๐๐ข๐ฅ๐ข๐ญ๐ฒ ๐จ๐ ๐๐ฎ๐ญ๐ฎ๐ซ๐ ๐ช๐ฎ๐๐ง๐ญ๐ฎ๐ฆ ๐ฌ๐จ๐๐ญ๐ฐ๐๐ซ๐. Very proud of this contribution and grateful to my co-authors and collaborators throughout the journey. See you in Munich for ASE 2026! ๐ฉ๐ช
-
๐ Last week, I had the pleasure of participating in the first edition of the QSE PhD School โ hopefully the first of many! ๐ค It was fantastic to connect with such a vibrant, young, and rapidlyโฆ | Avner Bensoussan
๐ Last week, I had the pleasure of participating in the first edition of the QSE PhD School โ hopefully the first of many! ๐ค It was fantastic to connect with such a vibrant, young, and rapidly growing community. For the first time, I felt fully โin the right roomโ research-wise โ Iโm usually either the only software person at quantum events or the only quantum person at software events. Seeing a community emerge exactly at this intersection makes me even more motivated to help it grow, and I feel honoured to be part of it. ๐ฌ I especially enjoyed the discussions around layers of abstraction, software testing challenges, and how we can conceptualise software natively for the challenges brought by quantum and hybrid architectures. Usually, it is a very good sign when talks naturally turn into 45-minute discussions between speakers and audience instead of going to coffee breaks! ๐ I also had the opportunity to present two posters on Hybrid Faults Taxonomy and Quantum Testability using Quantum Squeeziness, which sparked many interesting exchanges and perspectives. โฐ๏ธ And of course, the epic walk was absolutely worth it โ yes, even the 500 m of elevation gain! ๐ Looking forward to staying connected with all of you, and many thanks to the organisers for making this happen. https://lnkd.in/eV79rw2V
-
Quantum Noise Characterisation for Reliable Software | Avner Bensoussan posted on the topic | LinkedIn
๐ Our paper has been accepted at the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST 2026). ๐ย ๐๐ฐ๐ธ๐ข๐ณ๐ฅ ๐๐ช๐ท๐ฆ ๐๐ฐ๐ช๐ด๐ฆ ๐๐ช๐ฏ๐จ๐ฆ๐ณ๐ฑ๐ณ๐ช๐ฏ๐ต๐ช๐ฏ๐จ ๐ง๐ฐ๐ณ ๐๐ช๐ด๐ค๐ณ๐ฆ๐ฑ๐ข๐ฏ๐ค๐บ ๐๐ฏ๐ข๐ญ๐บ๐ด๐ช๐ด ๐ช๐ฏ ๐๐ถ๐ข๐ฏ๐ต๐ถ๐ฎ ๐๐ฐ๐ง๐ต๐ธ๐ข๐ณ๐ฆ ๐๐ฏ๐จ๐ช๐ฏ๐ฆ๐ฆ๐ณ๐ช๐ฏ๐จ ๐ย https://lnkd.in/ehw2Mskw Noise remains a fundamental obstacle to reliable quantum software โ yet current models are often static, coarse, and misaligned with real system behaviour. In this work, we introduceย ๐๐๐๐ ๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐, a lightweight and empirical approach to characterising noisy quantum systems. Our key idea: โ leverageย ๐๐๐๐๐๐๐๐๐ ๐๐๐๐ ๐๐ ๐๐๐๐๐๐๐๐๐๐ย to build compact, updatable fingerprints of noise โ enableย efficient comparison of quantum states and platformsย (e.g., Qiskit vs Cirq) โ support practical workflows forย ๐๐๐๐๐๐๐, ๐ ๐๐๐๐๐๐๐๐, and ๐๐๐๐๐-๐๐๐๐๐๐๐๐ ๐๐๐๐๐ ๐๐๐๐๐ We implement this vision inย SIMSHADOW, showing that fingerprints: โข capture structured, interpretable noise patterns โข reveal systematic cross-platform discrepancies โข correlate with observable divergences in program outputs More broadly, this work bridgesย ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐ย andย ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐, moving toward more reliable and portable quantum software systems.
-
Avner Bensoussan | Avner Bensoussan
โ๐ผ๐ ๐๐๐ ๐๐๐๐ ๐๐ ๐๐๐๐โ ๐ Our workย โA Taxonomy of Real Faults in Hybrid Quantum-Classical Architecturesโย has been accepted to the FSE 2026 Journal First track ๐ The initial short version was rejected ~1.5 years agoโbut that turned out to be ๐ข ๐ฃ๐ญ๐ฆ๐ด๐ด๐ช๐ฏ๐จ ๐ช๐ฏ ๐ฅ๐ช๐ด๐จ๐ถ๐ช๐ด๐ฆ. It gave me the chance to go much deeper, gather valuable feedback from multiple presentations, and develop a more mature version of the work. That journey led to a full paper in TOSEM, and now to presenting this stronger version at FSE. ๐ Paper:ย https://lnkd.in/enDPsETa ๐ Read more about my work:ย https://lnkd.in/efQGE6J6 Looking forward to sharing it with the communityโsee you in Montreal!