‹Programming› 2024
Mon 11 - Fri 15 March 2024 Lund, Sweden
Mon 11 Mar 2024 09:05 - 10:00 at M:H - Session I

We are witnessing the increased availability of powerful quantum computing facilities as a service; also, there are promising prospects of applying quantum computing in fields such as material- and drug discovery, as well as scheduling, and optimisation. With these promising prospects comes an inherent challenge of quality assurance of complex quantum programs. Quantum programs and programming frameworks are becoming more complex and this complexity creates a gap, calling for novel and rigorous testing and debugging frameworks. In this talk, we address this gap and propose, to our knowledge, the first applications of property-based testing and automated debugging to quantum programs.

(Based on joint work with: Shahin Honarvar, Raja Nagarajan, and Gabriel Pontolillo)

Mon 11 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session IQP at M:H
Day opening
Jianjun Zhao Kyushu University
Property-Based Testing and Debugging of Quantum ProgramsQP Keynote
Mohammad Reza Mousavi King's College London