Static Entanglement Analysis of Quantum Programs (Q-SE 2023) - ICSE 2023

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

Who

Shangzhou Xia, Jianjun Zhao

Track

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

When

Sun 14 May 2023 14:50 - 15:15 at Meeting Room 109 - Paper session 2 Chair(s): Philippe Codognet

Shangzhou Xia

Kyushu University

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

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

Session Program

Sun 14 May
Displayed time zone: Hobart change

	13:45 - 15:15	Paper session 2Q-SE at Meeting Room 109 Chair(s): Philippe Codognet Japanese-French Laboratory for Informatics

	14:00 25m Talk		Automatic generation of an efficient less-than oracle for quantum Amplitude Amplification Q-SE Javier Sánchez Rivero COMPUTAEX, Daniel Talaván COMPUTAEX, Jose García-Alonso Universidad de Extremadura, Antonio Ruiz-Cortés University of Seville, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation
	14:25 25m Talk		Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? Q-SE Joshua Ammermann Karlsruhe Institute of Technology, Tim Bittner Karlsruhe Institute of Technology, Domenik Eichhorn Karlsruhe Institute of Technology, Ina Schaefer KIT, Christoph Seidl IT University of Copenhagen
	14:50 25m Talk		Static Entanglement Analysis of Quantum Programs Q-SE Shangzhou Xia Kyushu University, Jianjun Zhao Kyushu University