ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Thu 15 Sep 2022 11:50 - 12:30 at E3 - Hardware-aware quantum programming Chair(s): Kartik Singhal
Silver: verification of silq programs using smt solvers (silver.pdf)195KiB
Vyzx: a vision for verifying the zx calculus (vyzx.pdf)102KiB
Verification of quantum systems using barrier certificates: first steps (barrier.pdf)249KiB
Transformations for accelerator-based quantum circuit simulation in haskell (accelerator.pdf)810KiB
Formalizing quantum circuits with mathcomp/ssreflect (formalizing.pdf)194KiB
The zeta-calculus (zeta.pdf)238KiB
Beyond separation: toward a specification language for modular reasoning about quantum programs (beyond.pdf)326KiB
The generate-test-sketch quantum algorithmic paradigm (gtr.pdf)136KiB

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

11:00 - 12:30
Hardware-aware quantum programmingPLanQC at E3
Chair(s): Kartik Singhal University of Chicago
11:00
25m
Talk
Topological Quantum Programming in TED-KVirtual
PLanQC
Hisham Sati New York University, Abu Dhabi, Urs Schreiber New York University, Abu Dhabi
File Attached
11:25
25m
Talk
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
PLanQC
Raphael Seidel Fraunhofer Institute for Open Communication Systems, Sebastian Bock Fraunhofer Institute for Open Communication Systems, Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin
File Attached
11:50
40m
Talk
Poster session
PLanQC

File Attached