ICSE 2023 (series) / Q-SE 2023 (series) /
Q-SE 2023 Program
This is the Q-SE 2023 program - see the full program for ICSE 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 MayDisplayed time zone: Hobart change
Sun 14 May
Displayed time zone: Hobart change
09:00 - 10:30 | Opening and keynoteQ-SE at Meeting Room 109 Chair(s): Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) | ||
09:15 15mDay opening | Opening Q-SE Paolo Arcaini National Institute of Informatics
, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) | ||
09:30 60mKeynote | Quantum Computing: Challenges and Opportunities for Software Engineering Q-SE Udson C. Mendes CMC Microsystems |
11:00 - 12:30 | |||
11:00 25mTalk | MCBeth: A Measurement-based Quantum Programming Language Q-SE Aidan Evans Yale University, Seun Omonije , Robert Soulé University of Lugano, Robert Rand University of Chicago | ||
11:25 25mTalk | Generating Presence-Absence Matrices by Quantum Annealing Q-SE Philippe Codognet Japanese-French Laboratory for Informatics | ||
11:50 25mTalk | Dynamic Output State Classification for Quantum Computers Q-SE Hector Menendez King's College London, Luciano Bello IBM Research, David Clark University College London | ||
12:15 15mTalk | Design by Contract Framework for Quantum Software Q-SE |
13:45 - 15:15 | Paper session 2Q-SE at Meeting Room 109 Chair(s): Philippe Codognet Japanese-French Laboratory for Informatics | ||
14:00 25mTalk | 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 25mTalk | 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 25mTalk | Static Entanglement Analysis of Quantum Programs Q-SE |
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 25mTalk | 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 35mDay closing | Discussion and Closing Q-SE Paolo Arcaini National Institute of Informatics
, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) |