SAS 2022
Mon 5 - Wed 7 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
Tue 6 Dec 2022 09:00 - 10:00 at AMRF Auditorium - Keynote 3 Chair(s): Gagandeep Singh, Caterina Urban

In quantum computing, the basic unit of information is a qubit. Simulation of a general quantum program takes exponential time in the number of qubits, which makes simulation infeasible beyond 50 qubits on current supercomputers. So, to understand larger programs, we turn to static techniques. This talk will briefly overview recent efforts to develop static methods for quantum programming.

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
Keynote 3SAS at AMRF Auditorium
Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban INRIA & École Normale Supérieure | Université PSL
Towards Efficient Reasoning of Quantum ProgramsKeynote
Nengkun Yu Stony Brook University, USA