PLDI 2024 (series) / WQS 2024 (series) /
WQS 2024 Program
This is the WQS 2024 program - see the full program for PLDI 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 10mDay opening | Opening WQS | ||
09:10 40mKeynote | From ZX to first order logic: a survey of string diagrammatic calculi WQS Pawel Sobocinski Tallinn University of Technology | ||
09:50 20mTalk | Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)REMOTE WQS Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford | ||
10:40 - 12:20 | |||
10:40 40mKeynote | Quantum application development for multi-processor systems using CUDA-Q WQS Bettina Heim NVIDIA | ||
11:20 20mTalk | Supporting End-Users in Realizing Quantum Computing Applications WQS Damian Rovara Technical University of Munich, Nils Quetschlich Technical University of Munich, Lukas Burgholzer Technical University of Munich, Wille Robert Johannes Kepler University Linz, Austria | ||
11:40 20mTalk | Dataflow-Based Optimization for QIR Programs WQS | ||
12:00 20mTalk | Towards an open-source framework to perform quantum calibration and characterization WQS Andrea Pasquale Università degli Studi di Milano, Edoardo Pedicillo Università degli Studi di Milano, Stefano Carrazza Università degli Studi di Milano | ||
13:40 - 15:20 | |||
13:40 40mKeynote | Quantum program analysis: Verification and TestingREMOTE WQS Nengkun Yu Stony Brook University, USA | ||
14:20 20mTalk | A Static Analysis for High-Level Quantum Programming Languages WQS Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy | ||
14:40 20mTalk | Efficient Formal Verification of Quantum Error Correcting ProgramsREMOTE WQS Qifan Huang Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou MPI-SP; Institute of Software at Chinese Academy of Sciences, Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University | ||
15:00 20mTalk | Verifying Quantum Circuits in GAP WQS Scott Wesley University of Waterloo, Canada | ||
16:00 - 18:00 | |||
16:00 40mKeynote | Mitiq, a toolbox for quantum error mitigation and error suppression WQS Nathan Shammah Unitary Fund | ||
16:40 20mTalk | Quantum Backtracking in Qrisp Applied to Sudoku Problems WQS Raphael Seidel Fraunhofer Institute for Open Communication Systems, Zander René , Matic Petrič , Niklas Steinmann , David Liu , Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin | ||
17:00 20mTalk | Classical Shadows for Property-Based Testing of Quantum Programs WQS Gabriel Joseph Pontolillo King's College London, Connor Lenihan King's College London, Mohammad Reza Mousavi King's College London, George Booth King's College London | ||
17:20 20mTalk | Hybrid Quantum-Classical Machine Learning with String Diagrams WQS | ||
17:40 20mTalk | Classical Simulation of Quantum Circuits with Partial Interference Effects WQS | ||