QChecker: Detecting Bugs in Quantum Programs via Static Analysis (Q-SE 2023)

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

Who

Pengzhan Zhao, Xiongfei Wu, Li Zhuo, Jianjun Zhao

Track

Q-SE 2023

Time Zone

The program is currently displayed in (GMT+10:00) Hobart.

Use conference time zone: (GMT+10:00) HobartSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 14 May 2023 15:45 - 16:10 at Meeting Room 109 - Paper session 3 Chair(s): Paolo Arcaini, Andriy Miranskyy

Pengzhan Zhao

Kyushu University

Japan

Xiongfei Wu

Kyushu University

Japan

Li Zhuo

Jianjun Zhao

Kyushu University

Japan

Time Zone

The program is currently displayed in (GMT+10:00) Hobart.

Use conference time zone: (GMT+10:00) HobartSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 14 May
Displayed time zone: Hobart change

15:45 - 17:15	Paper session 3Q-SE at Meeting Room 109 Chair(s): Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)

15:45 25m Talk		QChecker: Detecting Bugs in Quantum Programs via Static Analysis Q-SE Pengzhan Zhao Kyushu University, Xiongfei Wu Kyushu University, Li Zhuo , Jianjun Zhao Kyushu University
16:10 35m Day closing		Discussion and Closing Q-SE Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)