Scalable Quantum Compilation With Jasp
This program is tentative and subject to change.
After a short introduction to Qrisp, a high-level quantum programming language, the talk will elaborate the latest update, “Jasp”, which brought a significant restructuring of the Qrisp compiler architecture. Jasp allows users to capture and investigate quantum algorithms with scale-invariance, which solves the problem that many quantum algorithm implementations were limited to toy-problem scale not only because of backend restrictions but also compiler speed. Next to the scalability aspects, Jasp also enables the expression of real-time computations, i.e. classical steps that give feedback still within the coherence time of the quantum device. Jasp code can be compiled to QIR via the Catalyst package and is therefore compatible with all physical backends supporting this standard. Apart from the QIR compilation features, several other execution modes and insights into the programming model will be given.
This program is tentative and subject to change.
Tue 17 JunDisplayed time zone: Seoul change
15:40 - 17:15 | |||
15:40 50mKeynote | Scalable Quantum Compilation With Jasp WQS Raphael Seidel Fraunhofer Institute for Open Communication Systems | ||
16:30 20mTalk | Automating Quantum Hoare Logic with Automata (Work-In-Progress) WQS | ||
16:50 20mTalk | Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation WQS Leanghok Hour Pukyong National University, Myeongseong Go Pukyong National University, Youngsun Han Pukyong National University | ||
17:10 5mDay closing | Closing remarks WQS |