PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 11:40 - 12:00 at Copenhagen - Session 2

This paper demonstrates QDFO, a dataflow-based optimization approach to Microsoft QIR. QDFO consists of two main functions: one is to preprocess the QIR code so that the LLVM optimizer can capture more optimization opportunities, and the other is to optimize the QIR code so that duplicate loading and constructing of qubits and qubit arrays can be avoided. To validate our work, we completed a preliminary implementation of QDFO and conducted a case study on the real-world QIR code. Our observational study indicates that the LLVM optimizer can further optimize the QIR code preprocessed by our algorithm. Additionally, our dataflow-based optimization algorithm effectively reduces redundant operations in the QIR code, demonstrating the effectiveness of our approach. Furthermore, we also observed that after optimization by our algorithm, the readability of the QIR code has significantly improved, which will facilitate further study by programmers on the QIR code.

Mon 24 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Session 2WQS at Copenhagen
10:40
40m
Keynote
Quantum application development for multi-processor systems using CUDA-Q
WQS
11:20
20m
Talk
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
20m
Talk
Dataflow-Based Optimization for QIR Programs
WQS
Junjie Luo Kyushu University, Haoyuan Zhang Kyushu University, Jianjun Zhao Kyushu University
12:00
20m
Talk
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